Simple Annotations

  • David Luckham
Part of the Texts and Monographs in Computer Science book series (MCS)


This chapter describes simple annotations. These are annotations that apply to the Pascal-like subset of Ada: statement, object, subprogram, type and subtype annotations. We must first explain these annotations and how they are related, before going on to annotations of exceptions, packages, and generic units.


Observable State Simple Annotation Logical Variable Result Annotation Program Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Further Reading

  1. 1.
    D. Gries. The Science of Programming. Texts and Monographs in Computer Science, Springer-Verlag, New York, 1981.MATHGoogle Scholar
  2. 2.
    Z. Manna and R. Waldinger. The Logical Basis for Computer Programming. Vol. 1, Addison-Wesley, 1985.MATHGoogle Scholar
  3. 3.
    H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.MATHGoogle Scholar

Copyright information

© Springer-Verlag New York, Inc. 1990

Authors and Affiliations

  • David Luckham
    • 1
  1. 1.Computer Science LaboartoryStanford UniversityStanfordUSA

Personalised recommendations