Anna a Language for Annotating ADA Programs: Reference Manual

ISBN-13: 9783540179801 / Angielski / Miękka / 1987 / 148 str.

David C. Luckham; Friedrich W. Von Henke; Bernd Krieg-Brueckner

Opis

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.

Spis treści

1. Basic Anna concepts.- 2. Lexical elements.- 3. Annotations of declarations and types.- 4. Names and expressions in annotations.- 5. Statement annotations.- 6. Annotation of subprograms.- 7. Package annotations.- 8. Visibility rules in annotations.- 9. Task annotations.- 10. Program structure.- 11. Exception annotations.- 12. Annotation of generic units.- 13. Annotation of emplementation-dependent features.