Constraints: A Uniform Approach to Aliasing and Typing (1984)

by Leslie Lamport , Fred B. Schneider
Venue:In Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN
Citations:13 - 5 self

Active Bibliography

28 A Logical Analysis of Aliasing in Imperative Higher-Order Functions – Martin Berger, Kohei Honda, Nobuko Yoshida - 2005
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
26 Hoare Logics for Recursive Procedures and Unbounded Nondeterminism – Tobias Nipkow - 2002
99 Proving pointer programs in Hoare Logic – Richard Bornat - 2000
66 Ten Years of Hoare's Logic: A Survey -- Part l – KRZYSZTOF R. APT - 1981
Towards Concurrent Hoare Logic – Supervisor Professor, Tad Takaoka, Robin Candy - 2012
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
5 An Axiomatic Semantics of Concurrent Programming Languages – Leslie Lamport - 1984
10 Reasoning about Programs by Exploiting The Environment – Limor Fix, Fred B.Schneider - 1994
35 CLP(R) and Some Electrical Engineering Problems – Nevin Heintze, Spiro Michaylov, Peter Stuckey - 1991
8 Control Predicates are Better than Dummy Variables for Reasoning about Program Control – Leslie Lamport - 1987
4 Axiomatic Semantics Verification of a Secure Web Server – Paul E. Black - 1998
4 Direct Reasoning – Gregory W. Kulczycki - 2004
17 Calculating Sharp Adaptation Rules – David A. Naumann - 2000
38 Hoare Logic and Auxiliary Variables – Thomas Kleymann - 1998
31 Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs – Thomas Kleymann - 1998
3 Semantics of Constraint Logic Programs with Bounded Quantifiers – Martin Argenius - 1998
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher