Accession Number : ADA140452
Title : Annotation Language Design for Ada (ANNA).
Descriptive Note : Interim rept. Oct 80-Sep 81,
Corporate Author : STANFORD UNIV CA COMPUTER SYSTEMS LAB
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