ANNA A Language for Annotating Ada Programs: Reference Manual - Couverture souple

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

 
9783662178461: ANNA A Language for Annotating Ada Programs: Reference Manual
Couverture souple
ISBN 10 : 366217846X ISBN 13 : 9783662178461
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
366217846X
ISBN 13 
9783662178461
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540179801: ANNA A Language for Annotating Ada Programs: Reference Manual

Edition présentée

ISBN 10 :  3540179801 ISBN 13 :  9783540179801
Editeur : Springer, 2008
Couverture souple