The proceedings contain 23 papers. The topics discussed include: organizing software in a distributed environment;visual abstraction in an interactive programming environment;compiling functional languages for Von Neu...
ISBN:
(纸本)0897911083
The proceedings contain 23 papers. The topics discussed include: organizing software in a distributed environment;visual abstraction in an interactive programming environment;compiling functional languages for Von Neumann machines;attribute grammars and data-flow languages;a programmer controlled approach to data and control abstraction;specification and implementation of resilient, atomic data types;and an analysis of language models for high-performance communication in local-area networks.
The ability to generate language-based editors depends on the existence of a powerful, language-independent model of editing. A model is proposed in which programs are represented as attributed abstract-syntax trees w...
详细信息
ISBN:
(纸本)0897911652
The ability to generate language-based editors depends on the existence of a powerful, language-independent model of editing. A model is proposed in which programs are represented as attributed abstract-syntax trees with an associated relational database. Relations can depend on the state of the attributed tree, and attributes can depend on the values in relations, provided there are no circular dependencies. The power and the limitations of relational operations are demonstrated with respect to the support of staticsemantic checking, anomaly detection, an interrogation facility, and the ability to define alternate views of a program. The advantages of the hybrid systems over both the purely relational and purely attribute-based systems are presented, and a prototype implementation of an editor generator is discussed. New algorithms are given for query evaluation and incremental view updating motivated by the efficiency requirements of interactive editing under the defined model.
programmingsystems traditionally deal with only a few different types of data objects. Operating-system command languages, for example, are concerned with files and programs. Typical programminglanguages deal with c...
详细信息
ISBN:
(纸本)0897911652
programmingsystems traditionally deal with only a few different types of data objects. Operating-system command languages, for example, are concerned with files and programs. Typical programminglanguages deal with computer-related objects such as integers, strings, arrays, and records. This is in sharp contrast to the variety of real-world objects that people reason about. Smallworld is a programming environment in which the real world is represented by objects that have properties. A property represents a fact about the corresponding real-world entity. Thus Smallworld actions (programs), which operate on objects specified in this simple but general way, are 'smart': they consider all of the relevant facts concerning (that is, all of the properties of) the objects they manipulate.
It has been claimed that logic programming offers outstanding possibilities for new concepts in programming environments. But with the exceptions of the pioneering work of Shapiro on algorithmic debugging, Pereira'...
ISBN:
(纸本)9780897911658
It has been claimed that logic programming offers outstanding possibilities for new concepts in programming environments. But with the exceptions of the pioneering work of Shapiro on algorithmic debugging, Pereira's rational debugging and early work on expert systems from Imperial College, there has been little progress reported in the field of logic programming environments. This summary describes our current work on a generic software engineering shell for logic programming. We use reflection and the amalgamation of meta-level language with the object level to express and support the incremental character of specifying/programming. An important facet of the shell is that we formalize some aspects of programming methodology and provide heuristics for avoiding errors. These heuristics formalize what experienced programmers may already *** shell bears similarities to an expert system since it has explanation mechanisms and provides programming-knowledge acquisition. Currently, it supports single user Prolog programming and runs in C-Prolog. The shell is generic in that it provides support for activities ranging from artificial intelligence programming to formal specification *** research has been supported in part by the IBM Young Faculty Development Award and in part by the NSF grant # MCS-84-05079.
The Stanford University Center for Integrated systems is embarking on an ambitious project to formally characterize integrated circuit fabrication processes, and to provide a degree of automation of research and proto...
详细信息
This paper presents features of the NIL programminglanguage which support the construction of distributed softwaresystems: (1) a process model in which no pointers or shared data are visible, (2) interprocess commun...
详细信息
The System Modeller provides automatic support for several different kinds of program development cycle in the Cedar programming system. It handles the daily evolution of a single module or a small group of modules mo...
详细信息
In this paper we present an empirical analysis of language models for communication in distributed systems. We consider a computing environment in which a high-level, distributed programminglanguage kernel is suffici...
详细信息
暂无评论