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

Cached

Download Links

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

Active Bibliography

26 A Logical Analysis of Aliasing in Imperative Higher-Order Functions – Martin Berger, Kohei Honda, Nobuko Yoshida - 2005
34 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
22 Hoare Logics for Recursive Procedures and Unbounded Nondeterminism – Tobias Nipkow - 2002
90 Proving pointer programs in Hoare Logic – Richard Bornat - 2000
65 Ten Years of Hoare's Logic: A Survey -- Part l – KRZYSZTOF R. APT - 1981
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
14 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
35 CLP(R) and Some Electrical Engineering Problems – Nevin Heintze, Spiro Michaylov, Peter Stuckey - 1991
4 Axiomatic Semantics Verification of a Secure Web Server – Paul E. Black - 1998
4 Direct Reasoning – Gregory W. Kulczycki - 2004
What's in a Speci cation? – Linas Laibinis, Joakim Von Wright, Turku Centre, Computer Science - 199
29 Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs – Thomas Kleymann - 1998
15 Calculating Sharp Adaptation Rules – David A. Naumann - 2000
31 Hoare Logic and Auxiliary Variables – Thomas Kleymann - 1998
705 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
3 Semantics of Constraint Logic Programs with Bounded Quantifiers – Martin Argenius - 1998
1 Syntactic Control of Interference for Separation Logic – Uday S. Reddy, John C. Reynolds
8 Lazy behavioral subtyping – Johan Dovland, Einar B. Johnsen, Olaf Owe, Martin Steffen - 2007
23 A Compositional Logic for Polymorphic Higher-Order Functions – Kohei Honda, Nobuko Yoshida - 2004