Table of Contents

1. Recall of storage allocation principles.- 2. Study of the static properties of values.- 3. Study of the prevision mechanism.- 1. Lexicographical blocks.- 2. Mode identifiers.- 3. Generators.- 4. Label identifiers.- 5. Non-standard routines with parameters.- 6. Non-standard routines without parameters.- 7. Procedured jumps.- 8. Bounds of mode declarations.- 9. Dynamic replications in formats.- 10. Other terminal constructions.- 11. Kernel invariant constructions.- 12. Confrontations.- 13. Call of standard routines.- 14. Choice constructions.- 15. Collateral clauses.- 16. Miscellaneous.- 17. Other ICIS.- 1. Accesses and machine addresses.- 2. Method of code generation.- 3. Local optimizations.- 4. The loader.- 5. Translation of intermediate code modules.- 6. Further remarks of garbage collection.