Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
Saved in:
| Author / Creator: | Mùˆller-Olm, Markus. |
|---|---|
| Imprint: | Berlin ; New York : Springer, c1997. |
| Description: | xii, 250 p. |
| Language: | English |
| Series: | Lecture notes in computer science 1283 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2752037 |
Table of Contents:
- 1. Introduction
- 2. Complete Boolean Lattices
- 3. Galois Connections
- 4. States, Valuation Functions and Predicates
- 5. The Algebra of Commands
- 6. Communication and Time
- 7. Data Refinement
- 8. Transputer Base Model
- 9. A Small Hard Real-Time Programming Language
- 10. A Hierarchy of Views
- 11. Compiling-Correctness Relations
- 12. Translation Theorems
- 13. A Functional Implementation
- 14. Conclusion.
