Proof obligations for blocks and procedures
From MaRDI portal
Publication:919838
DOI10.1007/BF01888232zbMath0707.68056MaRDI QIDQ919838
Publication date: 1990
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Related Items
Uses Software
Cites Work
- A logic covering undefinedness in program proofs
- Proof obligations for blocks and procedures
- Procedures, parameters, and abstraction: Separate concerns
- Revised report on the algorithmic language ALGOL 60
- A language of specified programs
- Side effects and aliasing can have simple axiomatic descriptions
- Assignment and Procedure Call Proof Rules
- Ten Years of Hoare's Logic: A Survey—Part I
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item