The following links provide additional information about techniques that help to reduce errors.
- Chapter 8, Static typing
- Chapter 5, Testing
- Chapter 4, Contract Programming, also called Design by Contract (TM)
- Chapter 9, Generic types
- Chapter 10, Feature redefinition
- Chapter 14, Enumerated data type
- Chapter 6, Void values
- Chapter 7, Object immutability
- Chapter 13, Source code templates