Book contents
- Frontmatter
- Dedication
- Contents
- Foreword
- Preface
- Part 1 An Overview
- Part 2 Algorithmic Aspects
- Part 3 The Big Picture
- 12 Packages and Private Types
- 13 Overall Structure
- Program 3 Rational Reckoner
- 14 Object Oriented Programming
- 15 Exceptions
- 16 Contracts
- 17 Numeric Types
- 18 Parameterized Types
- 19 Generics
- 20 Tasking
- 21 Object Oriented Techniques
- 22 Tasking Techniques
- Program 4 Super Sieve
- Part 4 Completing the Story
- A1 Reserved Words, etc.
- A2 Glossary
- Answers to Exercises
- References
- Index
16 - Contracts
from Part 3 - The Big Picture
Published online by Cambridge University Press: 21 November 2024
Book contents
- Frontmatter
- Dedication
- Contents
- Foreword
- Preface
- Part 1 An Overview
- Part 2 Algorithmic Aspects
- Part 3 The Big Picture
- 12 Packages and Private Types
- 13 Overall Structure
- Program 3 Rational Reckoner
- 14 Object Oriented Programming
- 15 Exceptions
- 16 Contracts
- 17 Numeric Types
- 18 Parameterized Types
- 19 Generics
- 20 Tasking
- 21 Object Oriented Techniques
- 22 Tasking Techniques
- Program 4 Super Sieve
- Part 4 Completing the Story
- A1 Reserved Words, etc.
- A2 Glossary
- Answers to Exercises
- References
- Index
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Programming in Ada 2022 , pp. 389 - 426Publisher: Cambridge University PressPrint publication year: 2024