Accession Number : ADA140452

Title :   Annotation Language Design for Ada (ANNA).

Descriptive Note : Interim rept. Oct 80-Sep 81,


Personal Author(s) : Luckham,D C

PDF Url : ADA140452

Report Date : Jan 1984

Pagination or Media Count : 64

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.

Descriptors :   *Computer programming, *Programming languages, *Compilers, Error detection codes, Computer program documentation, Computer program verification, Specifications, Computer logic

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE