This conferenceproceedings contains 33 papers discussing various aspects related to the APL2 computer programming method. Object oriented graphics in APL2, proposals for APL2 specifications and implementation methods...
详细信息
ISBN:
(纸本)0897914775
This conferenceproceedings contains 33 papers discussing various aspects related to the APL2 computer programming method. Object oriented graphics in APL2, proposals for APL2 specifications and implementation methods are covered. Also presented are neural networks, the use of APL2 as a tool for scientific forecasting, and the use of APL2 in Petri net evaluation. Weighted sparse distributed memory prototype expressed in APL, and matrix operations over integral domains using nested arrays are topics included.
Prototype-based languages are currently proposed as a substitute to class-based languages for a higher flexibility in manipulating objects. These languages are all based on a similar set of basic principles: object-ce...
详细信息
ISBN:
(纸本)0201533723
Prototype-based languages are currently proposed as a substitute to class-based languages for a higher flexibility in manipulating objects. These languages are all based on a similar set of basic principles: object-centered representation, dynamic addition (deletion) of slots, cloning and message delegation. But they all differ in the precise interpretation of these principles and nobody has yet considered the semantic issues raised by their combination. In this paper, we propose a new taxonomy of prototype-based languages, enhancing the Treaty of Orlando by now discussing issues associated with the different semantics of the identified prototype-based languages. From this taxonomy, we extract a constructive proposal for the design of a new prototype-based language. This proposal is the chief result of this paper, it suggests one set of primitives which is regarded as the best to provide a clean, useful and coherent prototype-based computational model. We finally describe an implementation of most interesting language alternatives in the form of a Smalltalk-80 platform. This platform establishes an operational semantics for the basic primitives and -more interesting - validates our previous taxonomy by implementing it as a class hierarchy. Obviously, this platform has been used to relate in the same formalism the semantics of different languages with each others. For instance, the programming models of existing languages, such as Self, ObjectLisp and Actra's examplars, are faithfully derived as subclasses in this hierarchy.
The proceedings contain 66 papers. The topics discussed include: Ada 9x and information systems;Ada 9x and safety critical/secure systems;Ada 9x and systems programming;towards distributed systems in Ada 9x;experience...
ISBN:
(纸本)0897915291
The proceedings contain 66 papers. The topics discussed include: Ada 9x and information systems;Ada 9x and safety critical/secure systems;Ada 9x and systems programming;towards distributed systems in Ada 9x;experiences in implementing ada9x protected records and Requeue;Ada 9x and OOP;Ada 9x validation;implementing tagged types and type extensions for Ada 9x;assessing Ada 9x 00p: building a reusable components library;Ada 9x and real-time systems;Ada 9x for managers;teaching Ada 9x;Ada 9x implementation;Ada: still our first choice;Hemut - Policaza: introducing Ada in the university through PC anti-virus software development;building on the booth components: what can be learned when modifying real world software tools for educational use;benchmarking Ada: a rationale;hardware-in-the-loop (HIL) simulation: an application of Colbert's object-oriented software development method;identifying a complete object oriented life cycle for large systems development;Ada as an introductory language;and behavioral inheritance: concepts, Ada implementation and experience.
ADAS is an Application-driven design Automation System for microprocessor design. The goal of ADAS is to automatically explore the design space and synthesize a single chip VLSI processor from a high-level specificati...
详细信息
ISBN:
(纸本)0818628227
ADAS is an Application-driven design Automation System for microprocessor design. The goal of ADAS is to automatically explore the design space and synthesize a single chip VLSI processor from a high-level specification of the Instruction Set Architecture (ISA) written in a subject of standard Prolog. Our idea is to develop a design automation system which considers both microprocessor hardware design and design of the corresponding language compiler concurrently. Benchmark programs are used to motivate design decisions and optimize performance. Compiler optimizations are considered during the design of hardware. Our system spans languagedesign compiler design, instruction set design, microarchitecture, and VLSI implementation. Another goal of our project is to determined the feasibility of applying formal methodology to design automation and the usefulness of formal syntax and semantics to define the meaning of specifications. We have exercised our system on a real industrial example, the TDY-43 processor.
An mth-order differential equation y(m) = f(x,y,y′,...,y(m-1)) is itself a numerical recurrence relation that can be iterated to produce the Taylor series solution. The purpose of the APL in this paper is to demonstr...
详细信息
ISBN:
(纸本)0897914775
An mth-order differential equation y(m) = f(x,y,y′,...,y(m-1)) is itself a numerical recurrence relation that can be iterated to produce the Taylor series solution. The purpose of the APL in this paper is to demonstrate this principle in it's simplest form. This is accomplished as a direct application of the automatic differentiation workspace developed in an earlier paper by the author. After a brief review of this workspace, we implement the principle for first-order, mth-order, and systems of differential equations. The shortcomings of this implementation lead to a discussion of more advanced techniques found in automatic differentiation literature. The general method can be used in efficient and accurate numerical software for solving differential equations.
A large multi-national chemical company has been using an APL-based logistics planning system called LOGISTICS*PLUS since 1984. Over the past five years, the original US-based system was extended into Canada and Europ...
详细信息
ISBN:
(纸本)0897914775
A large multi-national chemical company has been using an APL-based logistics planning system called LOGISTICS*PLUS since 1984. Over the past five years, the original US-based system was extended into Canada and Europe. Recently, business units in Europe asked STSC to develop a sales planning system for LOGISTICS*PLUS. The developed system is used by many people with minimal training from many different countries. The software needed to be easy to access and easy to use. The purpose of this paper is to discuss the requirements of a system that needs to function across international borders. In addition, I will review the implementation of the system in regard to the need to manage multiple currencies, languages, product orientations and time-phased planning.
The performance of the communication subsystem of a real-time, distributed, C2 (command and control) simulator was evaluated and improved as part of the software development of the system. This communication subsystem...
详细信息
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by an integrated graphical/textual inter...
详细信息
A Petri net is a graphical and mathematical modeling tool useful in the analysis of concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic systems. In addition, interest in Petri nets is ...
详细信息
ISBN:
(纸本)0897914775
A Petri net is a graphical and mathematical modeling tool useful in the analysis of concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic systems. In addition, interest in Petri nets is increasing in the software community to model the behavior of parallel computer programs. The introduction of timed Petri nets allows system or program performance to be estimated as well. This paper begins with a general discussion, including definitions, for both ordinary and timed Petri nets. Several analysis tools are outlined for ordinary and timed Petri nets including analysis of the incidence matrix, coverability tree, firing diagram, and the GRID (Graph of Reachable Instantaneous Descriptions). This paper then introduces a method for representing Petri nets in APL2 and defines an easy input method. An APL2 implementation of each of the above analysis tools is given. These functions are described in detail as to their operation. Several examples of their use are given including examples of deadlock detection and performance estimation.
This research is conducted as part of the BUSINESS CLASS European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The BUSINESS...
详细信息
ISBN:
(纸本)0818628308
This research is conducted as part of the BUSINESS CLASS European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The BUSINESS CLASS development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of mapping rules from O* specifications to an Eiffel implementation. The practical results as well as the mismatch difficulties can be translated to other object-oriented methods and languages.
暂无评论