ANNA: towards a language for annotating Ada programs

Bernd Krieg-Brückner, David C. Luckham. ANNA: towards a language for annotating Ada programs. In Paul W. Abrahams, editor, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. pages 128-138, ACM, 1980. [doi]

Abstract

Abstract is missing.