Detailansicht

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
Springer Verlag GmbH
ISBN/EAN: 9783540179801
Umbreit-Nr.: 1484025

Sprache: Englisch
Umfang: v, 148 S.
Format in cm:
Einband: kartoniertes Buch

Erschienen am 15.07.1987
€ 53,49
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
Beim Buchhandel bestellen
  • Zusatztext
    • 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.