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

Documents Related by Co-Citation

319 An axiomatic proof technique for parallel programs – S OWICKI, D GRIES - 1976
23 The "Hoare Logic" of CSP, and All That – Leslie Lamport, Fred B. Schneider - 1984
39 The "Hoare Logic" of concurrent programs – L Lamport - 1980
38 Unify and Conquer (Garbage, Updating, Aliasing) in Functional Languages – H G BAKER - 1990
15 Programming Languages and Fundamentals of Programming. Fernuniversität РP MÜLLER, A POETZSCH-HEFFTER - 1999
23 Featherweight Generic Confinement – Alex Potanin, James Noble, Dave Clarke, Robert Biddle - 2006
28 Safe Runtime Downcasts With Ownership Types – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
31 Saving the World from Bad Beans: Deployment-Time Confinement Checking – Dave Clarke, Michael Richmond, James Noble - 2003
95 Type-Based Alias Analysis – Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss, Kinley J. Eliot, B. Moss - 1998
134 Object Ownership and Containment – David Clarke - 2001
88 External uniqueness is unique enough – Dave Clarke, Tobias Wrigstad - 2003
25 encapsulation and the disjointness of type and effect – D G Clarke, S Drossopoulou, Ownership
123 Ownership Domains: Separating Aliasing Policy from Mechanism – Jonathan Aldrich, Craig Chambers - 2004
103 Lackwit: A Program Understanding Tool Based on Type Inference – Robert O'Callahan, Daniel Jackson - 1997
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
100 Encapsulating Objects with Confined Types – Christian Grothoff, Jens Palsberg, Jan Vitek - 2001