Annotation Language Design for Ada (ANNA).
Abstract
This interim report covers research work on Annotation language design for ADA. The major goal of this research was the design and development of programming tools that may be incorporated into an Aa Programming Support Environment during the mid-1980's time frame. Since Ada is a very advanced language containing many essential new features such as tasking, and standard Ada tools such as compilers do not yet exist, the research has been structured so as to approach the major goal by first studying the error detection problem for subsets of Ada corresponding to already highly used languages such as Pascal. The error detection problem as an important starting point because this attempts to analyse programs for common errors without assuming that the programs have accompanying annotations. At the start of this project no formal annotation language for Ada existed. The second phase of the research effort was to design an annotation language for Ada, called ANNA. This would provide a basis for verification of Ada programs in general. This second report deals with the work on the design of ANNA.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1984
- Accession Number
- ADA140452
Entities
People
- D. C. Luckham
Organizations
- Stanford University