Silicon Press: Ada: An Advanced Introduction (2/E)

Introduction
- Basics
- Types, Constants, and Variables
- Expressions
- Statements
- Subprograms
- Visibility Rules
- Input/Output
- Main Programs and Compilation Units
- Pragmas
- Complete Examples
- Exercises
More About Types
- Strong Typing
- Subtypes
- Derived Types
- Type Equivalence
- Type Conversions
- Qualifying Expressions with Their Types
- More Types
- Examples
- Exercises
Packages
- Package Specifications
- Package Bodies
- Private Types
- Abstract Data Types
- Examples
- Exercises
Concurrency
- Tasks and Rendezvous
- Task Specification and Body
- Task Interaction
- Delay Statement
- Task Activation and Termination
- Select Statement
- Mutual Exclusion
- Task Types
- Abort Statement
- Interrupts
- Task Priorities
- Task and Entry Attributes
- Examples
- Exercises
Exceptions
- Declaring Exceptions
- Raising Exceptions
- Specifying Exception Handlers
- Activation of Exception Handlers
- Exceptions and Tasks
- Retrying Operations Raising Exceptions
- Suppressing Exceptions
- Examples
- Exercises
Generic Facilities
- Generic Specifications and Bodies
- Generic Parameters
- Generic Subprogram and Package Instantiation
- Generic Packages Without Parameters
- Matching Rules for Generic Formal Parameters
- Examples
- Exercises
Program Structure and Separate Compilation
- Separate Compilation
- Program Development
- Examples
- Exercises
Representation Clauses/Implementation-Dependent Features
- Type Representation Clauses
- Address Clause
- Change of Representation
- Implementation-Dependent Facilities
- Machine Code Insertion
- Interface to Other Languages
- Unchecked Storage Deallocation
- Unchecked Type Conversions
- Examples
Appendix A: Stepwise Refinement
- Some Requirements for a Good Programming Methodology
- Stepwise Refinement
- Suggestions for Refinement
- Annotated Bibliography
- Index