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.
The programming for observability concept for performance/correctness debugging in a parallel programming environment is introduced. The design, first implementation, and evaluation of the required language and system...
详细信息
This paper exemplifies the national language support of a programminglanguage by describing the implementation of APL with a language facility for processing Japanese characters: that is, a character set that has wid...
详细信息
ISBN:
(纸本)0901865354
This paper exemplifies the national language support of a programminglanguage by describing the implementation of APL with a language facility for processing Japanese characters: that is, a character set that has wide characters that occupy space of more than one byte. By national language support, in this paper, we mean that users are enabled to use their own national language in the data, as legal character strings of the programminglanguage. We describe the implementation of APL that provides Japanese language support in the above sense on a personal computer called the IBM Multistation 5550. We also discuss the design principle adopted to include a new two-byte character set in APL data objects coexisting with a conventional one-byte APL character set.
This paper discusses an interactive prototyping environment for languagedesign. An implementation of this language prototyping environment is operational and in use. The prototyping environment is structure editor ba...
详细信息
This paper discusses an interactive prototyping environment for languagedesign. An implementation of this language prototyping environment is operational and in use. The prototyping environment is structure editor based. Syntax, semantics, and symbol table structure can be specified formally. Because of the interpretive approach of the structure editor system, the formal specification can be developed and tested interactively in an evolutionary process.
The authors have developed a knowledge-based expert system that designs CMOS circuits from a concurrent algorithm written in the Occam high-level programminglanguage. The system aims at supporting the entire design p...
详细信息
ISBN:
(纸本)0818607432
The authors have developed a knowledge-based expert system that designs CMOS circuits from a concurrent algorithm written in the Occam high-level programminglanguage. The system aims at supporting the entire design process from specification to completed CMOS circuits by incorporating the designers' expertise into the computer and utilizing it effectively. Prolog was selected as the implementation/knowledge-representation language. Examples are given of the knowledge provided for the system, emphasizing the functional design phase which is heavily dependent on the designers' expertise. A description is given of how Prolog was used to express the knowledge, and how the inference engine was created. While constructing this system, the authors also evaluated the effectiveness of Prolog as the implementationlanguage for a new generation of CAD systems.
Although it is widely accepted that invariants play a major role in the design of efficient algorithms and software systems, the programminglanguages in common use do not incorporate invariants as primitives. This pa...
详细信息
Although it is widely accepted that invariants play a major role in the design of efficient algorithms and software systems, the programminglanguages in common use do not incorporate invariants as primitives. This paper clarifies the significance of a restricted kind of invariant in the construction of software, and illustrates how the use of these invariants in a language supports both the accurate synthesis of high level programs and their translation into efficient implementations. The methods proposed for implementing invariants are improved forms of the transformational techniques of finite differencing and stream processing. An implementation has been embedded in the RAPTS transformational programming system.
A design methodology for synthesizing efficient parallel algorithms and architectures from problem definitions specified in the language Crystal is presented. First, transformations on a problem definition to programs...
详细信息
ISBN:
(纸本)0818607246
A design methodology for synthesizing efficient parallel algorithms and architectures from problem definitions specified in the language Crystal is presented. First, transformations on a problem definition to programs with bounded order and bounded degree are introduced. This stage of the transformation aims to reduce the dominant costs in the underlying hardware which might be incurred by a direct parallel implementation of the problem definition. At the second stage, pipelining is automatically incorporated into an algorithm so that the hardware resources can be most effectively utilized. The methodology allows the derivation of systolic algorithms and architectures in a unified framework based on Crystal. Since Crystal is a general-purpose language for parallel programming, new synthesis techniques and insights into problems can be integrated readily within the existing framework.
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.
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the comp...
详细信息
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the computer system is important, since then he/she can easily express his/her ideas in the same 'language' as the other persons in the software development group. Our goals are: to help novices to understand computers, by giving them a framework for organizing algorithms, and to support development of software produced by groups of people over an extended period of time. Based on the notions of dimensional flowcharts a system called the DIMsystem has been developed for handling structured flowcharts.
暂无评论