We describe the automatic generation of a complete, realistic compiler from formal specifications of the syntax and semantics of Sol/C, a nontrivial imperative language “sort of like C.” The compiler exhibits a thre...
ISBN:
(纸本)9780897912693
We describe the automatic generation of a complete, realistic compiler from formal specifications of the syntax and semantics of Sol/C, a nontrivial imperative language “sort of like C.” The compiler exhibits a three pass structure, is efficient, and produces object programs whose performance characteristics compare favorably with those produced by commercially available compilers. To our knowledge, this is the first time that this has been accomplished.
We present a design system shell which can be used to experiment with principles of design and be used as a design tool where complex layers of information need to be specified about objects, such as in database desig...
详细信息
Opus is a tool for rule-based programming which integrates a production system paradigm with the Smalltalk-80 environment. Opus currently provides a data-driven production system that allows the programmer considerabl...
详细信息
ConcurrentSmalltalk is a programminglanguage/system which incorporates the facilities of concurrent programming in Small-Talk-80. Such facilities are realised by providing concurrent constructs and atomic objccts. Th...
详细信息
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of LISP;laws in Miranda;variations on strictness analysis;exper...
ISBN:
(纸本)0897912004
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of LISP;laws in Miranda;variations on strictness analysis;experience with an uncommon Lisp;an architecture for mostly functional languages;integrating functional and imperative programming;code generation techniques for functional languages;the implementation of PC scheme;design of an optimising, dynamically retargetable compiler for common Lisp;expansion-passing style: beyond conventional macros;the four-stroke reduction engine;LISP on a reduced-instruction-set-processor;hygienic macro expansion;partitioning parallel programs for macro-dataflow;exact real arithmetic: a case study in higher order programming;NORMA: a graph reduction processor;reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building;implementing functional languages in the categorical abstract machine;connection graphs;connection machine@ Lisp: pine-grained parallel symbolic processing;and the mystery of the tower revealed: a non-reflective description of the reflective tower.
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipu...
ISBN:
(纸本)0897912047
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipulation;a simple technique for handling multiple polymorphism;encapsulators: a new software paradigm in smalltalk-80;the design and implementation of coneurrentsmalltalk;an exemplar based smalltalk;PI: A case study in object-oriented programming;an object-oriented approach to a large scientific application;object oriented spreadsheets: the analytic spreadsheet package;object identity;an alternative to subclassing;Boolean classes;language support for changeable large real time systems;genericity versus inheritance;a diagram for object-oriented programs;moving structures between smalltalk images;development of an object-oriented DBMS;a distributed repository for immutable persistent objects;design of a distributed object manager for the smalltalk-80 system;commonloops merging LISP and object-oriented programming;and Oaklisp: an object-oriented scheme with first class types.
ConcurrentSmalltalk is a programminglanguage/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. Th...
ISBN:
(纸本)9780897912044
ConcurrentSmalltalk is a programminglanguage/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. This paper first gives an outline of ConcurrentSmalltalk. Then, the design of ConcurrentSmalltalk is described. The implementation of ConcurrentSmalltalk is presented in detail.
Two components of a VLSI design environment being built at Princeton are described. The general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is...
详细信息
An implementation of Ada should be based on a machine-independent translater generating code for a Virtual Machine, which can be realised on a variety of machines. This approach, which leads to a high degree of compil...
详细信息
暂无评论