Programming with Specifications
An Introduction to ANNA. A Language for Specifying Ada Programs
Published in November 1990
Book
Hardback
XVI, 416 pages
978-3-540-97254-9 (ISBN)
Description
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.
More details
Content
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.