ANNA A Language for Annotating Ada Programs: Reference Manual - Softcover

Luckham, David C.; Henke, Friedrich W. Von; Krieg-Brueckner, Bernd

 
9783662178461: ANNA A Language for Annotating Ada Programs: Reference Manual
Softcover
ISBN 10: 366217846X ISBN 13: 9783662178461
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
366217846X
ISBN 13 
9783662178461
Binding
Paperback

Other Popular Editions of the Same Title

9783540179801: ANNA A Language for Annotating Ada Programs: Reference Manual: 260 (Lecture Notes in Computer Science, 260)

Featured Edition

ISBN 10:  3540179801 ISBN 13:  9783540179801
Publisher: Springer, 1987
Softcover