One property that makes failures difficult to handle in programs is that the actions of a failed component may occur asynchronously with respect to execution of the program. In this study, an approach to dealing with ...
详细信息
ISBN:
(纸本)0818606908
One property that makes failures difficult to handle in programs is that the actions of a failed component may occur asynchronously with respect to execution of the program. In this study, an approach to dealing with this asynchrony is presented. It is based on treating a failure as an event in a concurrent system of processes, and then integrating failure handling mechanisms into distributed programminglanguages. The technique is illustrated by considering the class of failures suffered by fail-stop processors, and proposing extensions of the Synchronizing Resources (SR) distributed programming language to handle such failures. Two SR programs using these mechanisms are presented.
computer generated models to teach programminglanguages are defined and examined. The memory modeling, the program generation and the flowchart creation are presented. Generation and transformation of pictorial struc...
详细信息
ISBN:
(纸本)0897911504
computer generated models to teach programminglanguages are defined and examined. The memory modeling, the program generation and the flowchart creation are presented. Generation and transformation of pictorial structures for each model is analyzed. The application of these models to computer assisted instruction is shown. Three modes of interaction between the student and the computer: information, simulation and testing are discussed using the above models.
Although concurrency control and real-time execution constraints arise as soon as one attempts to design a complex robot system, both have been largely ignored in the design of robot programminglanguages. The concurr...
详细信息
Although concurrency control and real-time execution constraints arise as soon as one attempts to design a complex robot system, both have been largely ignored in the design of robot programminglanguages. The concurrency requirements of robotics applications are identified and various models of concurrent execution and synchronization are discussed as to their applicability to this domain. The handling of concurrency and real-time execution is evaluated in five robot programminglanguages. The author then discusses the extensibility of three concurrent/real-time languages for the robotic domain.
This paper describes a high level language for specifying programming environments for programminglanguages that are based on directed attributed graphs. The high level language allows the specifier to describe views...
详细信息
ISBN:
(纸本)0818637005
This paper describes a high level language for specifying programming environments for programminglanguages that are based on directed attributed graphs. The high level language allows the specifier to describe views of portions of a program written in such a graph based language, the editing operations used to create the program, animations of the execution of the program, and sufficient detail of the execution semantics to support the animations. We demonstrate the use of the specification language with a simple example of a graph based language (an extension of Petri Nets). We further describe how to automatically generate the programming environment for such graph based languages from descriptions made in the specification language. The specification language is based on using a grammar to describe the components of the graph based language and using a first-order logic based language to describe state changes in editing, execution, and animation.
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what to teach in the programminglanguages...
详细信息
ISBN:
(纸本)1595936033
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what to teach in the programminglanguages course and how to teach it more varied . Each of the members of this panel approaches their version of the course differently and will speak about their vision of the course, their style, their techniques and the materials they use. By sharing our versions of the course and generating discussion, we hope to provide others with additional ideas to consider including in their courses and to gain inspiration for inclusions in ours.
The future of higher level languages in the decade 1975-1985 is predicted. A discussion of what is needed as well as what is expected is included. The discussion concludes with some recommendations for improving the q...
详细信息
The future of higher level languages in the decade 1975-1985 is predicted. A discussion of what is needed as well as what is expected is included. The discussion concludes with some recommendations for improving the quality of programminglanguages in the future.
Twenty-seven papers from this symposium deal with the general topic of computer programming languages. Among the subjects covered are: portable compilers, compiler code generation, computer metatheory, various program...
详细信息
Twenty-seven papers from this symposium deal with the general topic of computer programming languages. Among the subjects covered are: portable compilers, compiler code generation, computer metatheory, various programminglanguages, algorithms, and syntax and semantics of programminglanguages. Seventeen papers are indexed separately.
Basic aspects of the linguistics of various programming language constructs are surveyed: their concrete grammatical and abstract syntactical specifications;their possible translation into lambda -algebra expressions ...
详细信息
Basic aspects of the linguistics of various programming language constructs are surveyed: their concrete grammatical and abstract syntactical specifications;their possible translation into lambda -algebra expressions and concrete, low-level machine-like simple statement sequences, as well as their more abstract denotational semantics description. The aim is to present varieties of analysis and synthesis tools used in understanding and designing meta- and source (programming) languages. The emphasis is on abstraction, and on enabling the student to follow the current literature on denotational semantics in particular and programming language design in general.
This demonstration will show Eclipse plugins developed at Macquarie and Colorado to support the Eli Language Processor Generation system and to enhance teaching of programming language concepts and implementation tech...
详细信息
暂无评论