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.


Propa Dition Sorting Prefix IS_OPEN 


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