A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 300-317
- https://doi.org/10.1007/3-540-45314-8_22
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Proving Pointer Programs in Hoare LogicPublished by Springer Nature ,2000
- Hoare Logic for Mutual Recursion and Local VariablesPublished by Springer Nature ,1999
- An Event-Based Structural Operational Semantics of Multi-threaded JavaPublished by Springer Nature ,1999
- Formal Syntax and Semantics of JavaPublished by Springer Nature ,1999
- From sequential to multi-threaded Java: An event-based operational semanticsPublished by Springer Nature ,1997
- A logic of object-oriented programsPublished by Springer Nature ,1997
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Verification of Sequential and Concurrent ProgramsPublished by Springer Nature ,1991
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- An axiomatic basis for computer programmingCommunications of the ACM, 1969