SPARK Reference Manual Logo
25.1
  • 1. Introduction
  • 2. Lexical Elements
  • 3. Declarations and Types
  • 4. Names and Expressions
  • 5. Statements
  • 6. Subprograms
  • 7. Packages
  • 8. Visibility Rules
  • 9. Tasks and Synchronization
  • 10. Program Structure and Compilation Issues
  • 11. Exceptions
  • 12. Generic Units
  • 13. Representation Issues
  • 14. Predefined Language Environment (Annex A)
  • 15. Language-Defined Aspects and Attributes (Annex K)
  • 16. Language-Defined Pragmas (Annex L)
  • 17. Glossary
  • A. SPARK 2005 to SPARK 2014 Mapping Specification
  • B. GNU Free Documentation License
SPARK Reference Manual
  • Search

© Copyright 2013-2025, AdaCore and Capgemini Engineering.

Built with Sphinx using a theme provided by Read the Docs.