There are two trends in the software initiatives of the U. S. Department of Defense which will have direct impact on future software development and which suggest a focus for current basic research in software. These ...
ISBN:
(纸本)9780897912181
There are two trends in the software initiatives of the U. S. Department of Defense which will have direct impact on future software development and which suggest a focus for current basic research in software. These trends are 1) the move toward smart weapons, suggesting the use of Expert Systems to control these weapons, and 2) the directive that all software for embedded computer systems be written in Ada. The research focus suggested by these developments is an analysis of the Ada programminglanguage and its associated programming support environment (APSE) to determine how to design and construct an Expert System for natural implementation in *** is well known that Ada can be used as a language for Expert Systems. There now exist several Expert System Shells written in Ada and more are being developed every day. The issue still open to research is how to do this optimally, making the best use of the expressive power of the language. An absurd example will make this clearer. It is also known that it is possible to write an Expert System in COBOL. Doing such would be a very tedious and error prone task, because the expressive power of the COBOL language is focused on commercial *** possibility for writing an Expert System in Ada would be to take an existing Expert System in LISP and translate the code, line for line into Ada. Admittedly this is a plausible task; this author has done some preliminary investigation in this area. However, it is arguable that such an approach will not result in efficient Ada code, for constructs which are natural to LISP might not translate into constructs natural to *** it is difficult to give a precise definition of an Expert System, it is easy to list characteristics which are usually associated with such a system. This paper presents the results of some preliminary research on the implementation of these features by means of some of the structures in Ada, such as Generic Program Units, Packages and Data
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.
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.
暂无评论