- On the completeness of propositional Hoare logic Dexter Kozen Jerzy Tiuryn Tue 22 January 2013
- Axiomatic approach to total correctness of programs Z Manna Amir Pnueli Tue 22 January 2013
- Expressiveness and the completeness of Hoare's logic J.A. Bergstra J.V. Tucker Tue 22 January 2013
- An axiomatic definition of the programming language PASCAL C. Hoare Tue 22 January 2013
- An introduction to assertional reasoning for concurrent systems A. Udaya Shankar Sat 29 December 2012
- Power domains and predicate transformers: A topological view M. Smyth Sat 29 December 2012
- Procedures and parameters: An axiomatic approach C. Hoare Sun 15 April 2012
- The Early Search for Tractable Ways of Reasoning about Programs Cliff B. Jones Sun 15 April 2012
- Forward with Hoare Mike Gordon Helene Collavizza Sun 15 April 2012
- Ten years of Hoare's logic: A survey - Part II: Nondeterminism Krzysztof R. Apt Sun 15 April 2012
- Ten Years of Hoare's Logic: A Survey - Part I Krzysztof R. Apt Sun 15 April 2012
- The Characterization Problem for Hoare Logics [and Discussion] Edmund M. Clarke Sun 15 April 2012
- Soundness and Completeness of an Axiom System for Program Verification Stephen A. Cook Sun 15 April 2012
- Assigning meanings to programs RW Floyd Thu 12 April 2012
- An axiomatic basis for computer programming C. A. R. Hoare Mon 09 April 2012
Library Size: 13G (15 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
