Methods and Logics for Proving Programs
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 219 references indexed in Scilit:
- Procedures, parameters, and abstraction: Separate concernsScience of Computer Programming, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- A correctness proof of sorting by means of formal proceduresScience of Computer Programming, 1987
- Proof rules for fault tolerant distributed programsScience of Computer Programming, 1987
- Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming, 1984
- A proof system for concurrent ADA programsScience of Computer Programming, 1984
- Partial correctness: The term-wise approachScience of Computer Programming, 1984
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- Nondeterministic flowchart programs with recursive procedures: semantics and correctness ITheoretical Computer Science, 1981
- A calculus of total correctness for communicating processesScience of Computer Programming, 1981