Calculus Users' Guide

  1. i. Introduction
    1. ii. Using calculus
    2. iii. Example program
  2. 1. Input syntax
    1. 1.1. Primitives
    2. 1.2. Identities
    3. 1.3. Enumerations
    4. 1.4. Structures
    5. 1.5. Unions
    6. 1.6. Type constructors
    7. 1.7. Relations between algebras
  3. 2. Output type system specification
    1. 2.1. Version information
    2. 2.2. Basic types
    3. 2.3. Operations on sizes
    4. 2.4. Operations on pointers
    5. 2.5. Operations on lists
    6. 2.6. Operations on stacks
    7. 2.7. Operations on vectors
    8. 2.8. Operations on vector pointers
    9. 2.9. Operations on primitives
    10. 2.10. Operations on identities
    11. 2.11. Operations on enumerations
    12. 2.12. Operations on structures
    13. 2.13. Operations on unions
  4. 3. Implementation details
    1. 3.1. Implementation of types
    2. 3.2. Support routines
    3. 3.3. Run-time checking
  5. 4. Disk reading and writing
    1. 4.1. Disk writing routines
    2. 4.2. Disk reading routines
    3. 4.3. Object printing routines
    4. 4.4. Aliasing
    5. 4.5. Application to calculus
  6. 5. Template files