A WP-calculus for OO
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 135-140
- https://doi.org/10.1007/3-540-49019-1_10
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Theoretical Aspects of Computer SoftwarePublished by Springer Nature ,1997
- Reasoning about dynamically evolving process structuresFormal Aspects of Computing, 1994
- Assignment and Linked Data StructuresPublished by Springer Nature ,1982
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981