ABSTRACT
No abstract available.
Supplemental Material
Recommendations
ANNA: towards a language for annotating Ada programs
Proceedings of the ACM-SIGPLAN symposium on the Ada programming languageANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with formal comments. Formal comments in A...
ANNA: Towards a language for annotating Ada programs
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming languageANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with formal comments. Formal comments in ...
Comments