ADA

A survey was carried out to establish the Ada countries' knowledge about itself and the market potential of the work they were engaged in. Some 62 organisations responses were received (25%) from 10 countries. Though many are well informed, the effect ...

It seems, at the moment, that although there have been papers published that deal with database management in an Ada environment there is still very little practical experience in that field.Using Ada we have developed an Ada compatible relational ...

The idea of a database as a central facility of a programming environment is explored, taking the Ada program Library as a starting point. The database used is based on a node model similar to the one proposed in the CAIS standard (KIT/KITIA 1984). The ...

This paper describes an Ada-compatible database application development environment being designed and prototyped at Computer Corporation of America. This environment is intended to provide uniform access to centralized, homogeneously distributed, and ...

We examine the suitability of Ada to a specific multiprocessor architecture, the NYU Ultracomputer. The Ultracomputer is an MIMD machine with shared memory, and a special hardware primitive, the fetch-and-add operation, with which non-blocking versions ...

The Ada Research Group of the Robotics Research Laboratory at The University of Michigan is currently developing a real-time distributed computing capability based upon the premises that real-time distributed languages provide the best approach to real-...

A trace database model for debugging concurrent Ada programs is presented. In this approach, trace information is captured in an historical database and queried using Prolog. This model was used to build a prototype debugger, called Your Own Debugger ...

This symbolic run-time debugger for Ada provides facilities for observing and manipulating the execution of a monitored program, also for concurrent aspects. The debugger can be used interactively, and also as a monitoring program to control the ...

In this paper, we present the main concepts used in our symbolic debugger for Ada. Described also is a companion tool, the Ada Program VIEWer, which gives users full access to program source while debugging. This debugger is one of the components of the ...

The Graphical Kernel System (GKS) is a general purpose, Device-Independent, two-dimensional graphics system currently in the final stages of standardization by both the International Organization for Standerdization (ISO) [ISO 1982] and the American ...

The efficient implementation of high level languages which support concurrency is imperative, particularly in such application areas as embedded real-time systems. Various storage management schemes have been proposed for the implementation concurrency. ...

CAEDE is an experimental, integrated, iconic design environment which supports (1) a structured design methodology based on Buhr's System Design With Ada book (2) an iconic design entry system, (3) a design data base, and (4) design tools. The design ...

The parallel processing facilities of Ada are based on the concept of rendezvous, which introduces a tight coupling between two cooperating tasks. Because of the asynnetry of the rendezvous, and of the typing system, these facilities cannot be used ...

This paper analyzes practical experience at Carleton University with a course in hands-on, real time, embedded system programming with Ada, derives lessons from this experience relatig to the concerns of the Ada community about teaching/learning Ada in ...

The emergence of Ada as a major programming language, and the resulting need for training large numbers of programmers in Ada, has led to the development of a variety of educational products and techniques. These include live courses and seminars, ...

This paper compares two programming language paradigms for large software systems. The first is based upon nested block structure and static binding, augmented with abstract data types and concurrency, as exemplified by Ada. The second is based upon ...

TSL is a language for specifying sequences of tasking events in Ada¹ programs. TSL specifications are submitted with an Ada program and are monitored at runtime for consistency with the actual tasking events as they occur. This paper presents a ...

A number of systems for the automatic conversion to Ada of software written in other languages have been specified or implemented, but such systems are of limited usefulness in planned programmes for the transition to Ada. Managerial and technical ...

Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal methods of specification and ...

This paper outlines the object management system provided in the ECLIPSE project support environment and describes how Ada compilers are supported by this system. The structure of a common Ada program library is described and the support tools provided ...

This paper concerns the design of an Ada front end that was required to be hosted on small computers. The paper discusses the special problems to be solved when implementing a compiler for a large language, like Ada, on machines with limited resources ...

This paper describes a simple and efficient approach to implementing the Ada operations of entry calls, conditional and timed entry calls, accept statements, selective wait statements and delay statements. This is accomplished by describing the tasking ...