ANNA A Language for Annotating Ada Programs : Reference Manual. 1st ed. 1987

種類:

電子ブック

責任表示:

by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987

著者名:

• Luckham, David C.
• Henke, Friedrich W. von.
• Krieg-Brueckner, Bernd.
• Owe, Olaf.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 260

ISBN:

9783540472025 [3540472029]    

注記:

1. Basic Anna concepts -- 2. Lexical elements -- 3. Annotations of declarations and types -- 4. Names and expressions in annotations -- 5. Statement annotations -- 6. Annotation of subprograms -- 7. Package annotations -- 8. Visibility rules in annotations -- 9. Task annotations -- 10. Program structure -- 11. Exception annotations -- 12. Annotation of generic units -- 13. Annotation of emplementation-dependent features.
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

ローカル注記:

学内専用E-BOOKS (local access only)