ANNA : a language for annotating Ada programs : reference manual
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...
Сохранить в:
| Главные авторы: | , , |
|---|---|
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
260 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ANNA, a language for annotating Ada programs, reference manual, David C. Luckham ... [et al.], 1987, Berlin, Springer-Verlag, 1 vol. (v-143 p.), Lecture notes in computer science, 0-387-17980-1 • ANNA A Language for Annotating Ada Programs, Texte imprimé, 9783662178461 |
Оглавление:
- 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.