The NYU Ada translator and interpreter

  title={The NYU Ada translator and interpreter},
  author={Robert B. K. Dewar and Gerald A. Fisher and Edmond Schonberg and Robert A. Froehlich and Stephen Bryant and Clinton F. Goss and Michael G. Burke},
  booktitle={SIGPLAN '80},
The NYU-Ada project is engaged in the design and implementation of a translator-interpreter for the Ada language. The objectives of this project are twofold: a) to provide an executable semantic model for the full Ada language, that can be used for teaching, and serve as a starting point for the design of an efficient Ada compiler; b) to serve as a testing ground for the software methodology that has emerged from our experience with the very-high level language SETL. In accordance with these… 

Eecient Loop-level Parallelism in Ada

This work proposes Ada constructs to achieve eecient loop-level paral-lelism in ANSI-Ada, and presents an idiom that makes the fetch and add synchronization primitive available at the Ada level and an implementation that performs better than a standard Ada task.

Software Design for Real-Time Systems on Parallel Computers: Formal Specifications.

In this research, a specification model called Parallel REal Time specification Language (PRETsEL) was defined, which leverages off of existing models while adding the necessary syntax and semantics lacking in existing models in supporting specification of real-time systems for parallel architectures.

A bibliography on syntax error handling in context free languages

This bibliography grew out of a graduate seminar course conducted jointly with Fred Ires and with the part icipation of Laura Babbitt , John Morgan and Henry Worth, in the Winter of 1989.

Approaches to Prototyping

A systematic look at Prototyping and the development of Integrated Office Information Systems Within the Framework of Trialog-oriented Processes.

Is Ada too big? A designer answers the critics

Many have criticized the Department of Defense's new computer language, Ada, saying it is too large, too complicated, or too difficult to use. Are they right? And are there some simplifications that

A Bibliography of Books and Other Publications about the Ada Programming Language and Its History

This document catalogs the major players in the music industry, as well as some minor players, which were introduced in the second half of the 1990s and are still in use today.

Design and Development of Information System Template Prototype for Maritime Transportation

This paper details the step-by-step production of a real world scenario and modular template for a marine information system from the theories involved to its design, development, implementation and

System Design, Development & Deployment Using Rapid By-Customer Demand With Business Principles Approach

A marine information system that was developed using the proposed methodology and is compared with existing formally defined methodologies though their principles, processes and practices to show the applicability and effectiveness of the proposed method.



The elements of SETL style.

SETL is a very-high level programming language whose basic semantic constructs are those of the mathematical theory of sets, whose basic primitive operations include set membership, union, intersection, power set construction, etc.

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage

The facilities provided by the representation sublanguage and the run-time data structures that it can generate are described and a heuristic which uses some of the methods of global program analysis and which should be capable of selecting an acceptably efficient representation automatically is given.

Rationale for the design of the Ada programming language

This book discusses classical programming, general program structure - visibility and overloading, and representation classes and machine dependences in the context of knowledge representation.

Re ferences @BULLET

  • Re ferences @BULLET

FS] Cii Honeywell Bull:Formal Definition of ADA (Interim Draft) October 1979 (Unpublished)

  • FS] Cii Honeywell Bull:Formal Definition of ADA (Interim Draft) October 1979 (Unpublished)

Efficient implementation of Ada Tasks

  • Unpublished Draft) [Pel] Persch,G. et al. : Overloading in Ada
  • 1979

Syntax error recovery in LALR(1) parsers

  • Courant Institute report