This monograph provides an introduction to ANNA, a language for the specification of programs written in Ada. The text includes suggestions for the interpretation of package specifications and processes for consistent implementation of packages.
Reihe
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Gewicht
ISBN-13
978-3-540-97254-9 (9783540972549)
Schweitzer Klassifikation
What ANNA is; simple annotations; using simple annotations; exceptions; package specifications; the process of specifying packages; annotation of generic units; annotation of operations on composite types; annotation of the hidden parts of packages; interpretation of package specifications; processes for consistent implementation of packages; syntax; tools.
