Some software tools used in the development of the prototype york ada compiler
نویسنده
چکیده
Among the various software tools developed in the early stages of the York Ada compiler project4 are two families of tools described here. Syntax driven generators, distinctive in their inclusion of a mechanism for syntax abstraction and their mode of adaptability, were used to produce a variety of compiler components; interface checkers, automatically generated from specifications of the information intended to pass between components, were used to help isolate and repair faulty components.
منابع مشابه
A Survey of Real-Time Performance Benchmarks for the Ada Programming Language
This survey provides a summary description of some of the major Ada benchmarks currently available and an evaluation of their applicability to the Ada Embedded Systems Testbed (AEST) Project at the Software Engineering Institute (SEI). The benchmarks discussed are: the University of Michigan benchmarks, the ACM Performance Issues Working Group (PIWG) benchmarks, and the prototype Ada Compiler E...
متن کاملMDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
The paper discusses some practical examples of how Model Driven Architecture (MDA) technology is being applied to some vital issues in the development of avionics systems. A study primarily aimed at addressing the issue of Software Method and Tool obsolescence was conducted by a number of BAE Systems’ sites and York University. It investigated model transformation from legacy Teamwork1 models t...
متن کاملDansk Datamatik Center
In 1979, a software research and development center was created to demonstrate the power of systematic and formal methods in software development. One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system. DDC made the first department of Defense (DoD) validated Ada compiler in Europe, and the Ada project was carried on in a subsidi...
متن کاملGraphical Representations of Algorithms, Structures, and Processes Grasp/ada 95 Reverse Engineering Tools for Ada Final Report for Table of Contents
The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped an algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD), and a new visualization for a fine-grained complexity metric called the Complexity Profile Graph (CPG). By synchronizing the CSD and the CPG, the CSD view of...
متن کاملGeneration of ADA and PL/1 prototypes from abstract data type specifications
A software system prototype is an operational model that exhibits the behavioral and structural characteristics of the desired software product. We describe a prototyping system that automatically generates compilable prototypes by transforming an abstract data type specification into a program. The prototyping system consists of two versions: a compiler on MULTICS that generates PL/1 code, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Software Engineering Journal
دوره 2 شماره
صفحات -
تاریخ انتشار 1987