Affiliation:
1. New York University, New York, New York
Abstract
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 objectives, the NYU-Ada system is written in a particularly high-level, abstract SETL style that emphasizes clarity of design and user interface over speed and efficiency. A number of unusual design features of the translator and interpreter follow from this emphasis. Some of these features are described below. We also discuss the question of semantic specification of programming languages, and the general methodology of "Software Prototyping" of which the NYU-Ada system is a sizeable example.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference7 articles.
1. Preliminary Ada reference manual
2. Rationale for the design of the Ada programming language
3. Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
4. The elements of SETL style.
5. {F1} Fisher G. and Burke M.: Syntax error recovery in LALR(1) parsers. Courant Institute report (In preparation). {F1} Fisher G. and Burke M.: Syntax error recovery in LALR(1) parsers. Courant Institute report (In preparation).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Correctness-by-Construction Meets Refinement Types;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
2. Refinement Types: A Tutorial;Foundations and Trends® in Programming Languages;2021
3. Simple tools to learn Ada;ACM SIGAda Ada Letters;1985-05
4. Is Ada too big? A designer answers the critics;Communications of the ACM;1984-02