0

ANNA A Language for Annotating Ada Programs

Reference Manual, Lecture Notes in Computer Science 260

Luckham, David C/Henke, Friedrich W von/Krieg-Brueckner, Bernd et al
Erschienen am 15.07.1987
53,49 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540179801
Sprache: Englisch
Umfang: v, 148 S.
Einband: kartoniertes Buch

Beschreibung

Inhaltsangabe1. 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.