Modular Specification and Verification of Object-Oriented Programs /
Saved in:
Imprint: | Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002. |
---|---|
Description: | 1 online resource. |
Language: | English |
Series: | Lecture Notes in Computer Science ; 2262, 0302-9743 Lecture notes in computer science ; 2262, |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11076420 |
Table of Contents:
- Mojave and the Universe Type System
- The Semantics of Mojave
- Modular Specification and Verification of Functional Behavior
- Modular Specification and Verification of Frame Properties
- Modular Specification and Verification of Type Invariants
- Conclusion
- Formal Background and Notations
- Predefined Type Declarations
- Examples
- Auxiliary Lemmas, Proofs, and Models.