The issues addressed at the 9th international workshop on data base programminglanguages were discussed. A paper, Avoiding Unnecessary Ordering Operations in XPath, described an algorithm for detecting redundant sort...
详细信息
The issues addressed at the 9th international workshop on data base programminglanguages were discussed. A paper, Avoiding Unnecessary Ordering Operations in XPath, described an algorithm for detecting redundant sort operators. The paper Integrating Database and programminglanguages Constraints, that addresses the problem of data consistency in applications that interact with databases was also presented. Three papers presented in the seventh session XML Processing and Validation were also elaborated.
We propose a framework for processing source code support- ing multiple programminglanguages, named UNICOEN. UNICOEN reduces development costs and differences be- tween tool implementations. We evaluated UNICOEN by d...
详细信息
Historically, programmable controllers have been programmed graphically with relay ladder logic (RLL) constructs. Users have recently been overwhelmed by new graphical control languages. To understand the various lang...
详细信息
Historically, programmable controllers have been programmed graphically with relay ladder logic (RLL) constructs. Users have recently been overwhelmed by new graphical control languages. To understand the various languages and identify the applications they are suited to, it is necessary to examine the whole basic philosophy of the language. Was the language developed for state control such as the cam timer problem or for regulatory control such as controlling temperature in a paint booth? How well are both problems solved? Are other languages required to solve the target control problem? This paper charts the role and development of control languages from RLL to high-level calculation languages.
The search for better techniques to teach computerprogramming is paramount in order to improve the students' learning experiences. Several approaches have been proposed throughout the years, usually through techn...
详细信息
A programming language mechanism and associated compiler techniques which significantly enhance the analyzability of pointer-based data structures frequently used in nonscientific programs are proposed. The approach i...
详细信息
ISBN:
(纸本)0818625856
A programming language mechanism and associated compiler techniques which significantly enhance the analyzability of pointer-based data structures frequently used in nonscientific programs are proposed. The approach is based on exploiting two important properties of pointer data structures: structural inductivity and speculative traversability. Structural inductivity facilitates the application of a static interference analysis method for such pointer data structures based on path matrices, and speculative traversability is utilized by a novel loop unrolling technique for while loops that exploit fine-grain parallelism by speculatively traversing such data structures. The effectiveness of this approach is demonstrated by applying it to a collection of loops found in typical nonscientific C programs.
This paper describes the structure of two, self-paced, language-translation tutorials that integrate nicely into a principles-based undergraduate programminglanguages course, thus bringing material normally covered i...
详细信息
ISBN:
(纸本)9781595932594
This paper describes the structure of two, self-paced, language-translation tutorials that integrate nicely into a principles-based undergraduate programminglanguages course, thus bringing material normally covered in a compiler course down into the context of a traditional programminglanguages course. The primary goal of the tutorials is to provide students with useful models for programming language principles as well as a very basic introduction to compiling techniques, including tokenizing, parsing, static semantic checking, and code generation. The paper also exposes a pedagogic technique of repeated exposure that drives the success of these tutorials. Copyright 2006 ACM.
The notion of applicability checking attempts to determine the limits of applicability of a general programming language expression and to automatically make necessary adjustments to accommodate various irregularities...
详细信息
The notion of applicability checking attempts to determine the limits of applicability of a general programming language expression and to automatically make necessary adjustments to accommodate various irregularities, including boundary conditions. This paper presents an approach to applicability checking. A set of rules are supplied for determining applicability, developing applicable regions, and coercing structures automatically. Examples are presented to demonstrate the application of these rules.
暂无评论