ANNA. A language for annotating Ada programs. Reference manual

zbMath0624.68005MaRDI QIDQ578891

Bernd Krieg-Brückner, Friedrich W. von Henke, David C. Luckham, Olaf Owe

Publication date: 1987

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Anna kernel subsetannotationsBoolean relationships between program variablesconstructsextension of Adalogical quantifierssemantics of Annavirtual Ada text

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Related Items (1)

The definition of Extended ML: A gentle introduction

Uses Software

• Ada95
• ANNA

This page was built for publication: ANNA. A language for annotating Ada programs. Reference manual