Skip to main content
SpringerLink
Log in

ANNA A Language for Annotating Ada Programs

Reference Manual

  • Book
  • © 1987

Overview

Editors:
  1. David C. Luckham
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Friedrich W. Henke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bernd Krieg-Brückner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Olaf Owe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 260)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Download chapter PDF

  2. 1. Basic Anna concepts

    Pages 5-13

  3. 2. Lexical elements

    Pages 15-17

  4. 3. Annotations of declarations and types

    Pages 19-40

  5. 4. Names and expressions in annotations

    Pages 41-54

  6. 5. Statement annotations

    Pages 55-58

  7. 6. Annotation of subprograms

    Pages 59-66

  8. 7. Package annotations

    Pages 67-97

  9. 8. Visibility rules in annotations

    Pages 99-101

  10. 9. Task annotations

    Pages 103-103

  11. 10. Program structure

    Pages 105-107

  12. 11. Exception annotations

    Pages 109-112

  13. 12. Annotation of generic units

    Pages 113-120

  14. 13. Annotation of emplementation-dependent features

    Pages 121-122

  15. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.

Bibliographic Information

  • Book Title: ANNA A Language for Annotating Ada Programs

  • Book Subtitle: Reference Manual

  • Editors: David C. Luckham, Friedrich W. Henke, Bernd Krieg-Brückner, Olaf Owe

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-17980-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17980-1Published: 15 July 1987

  • eBook ISBN: 978-3-540-47202-5Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: V, 148

  • Topics: Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation