Syntactic Control of Interference Revisited (1995)

Cached

Download Links

by P. W. O'hearn , A. J. Power , M. Takeyama , R. D. Tennent
Citations:40 - 6 self

Documents Related by Co-Citation

131 On the syntactic control of interference – J Reynolds - 1978
35 Global state considered unnecessary: An introduction to object-based semantics – Uday Reddy - 1996
161 The essence of Algol – J C Reynolds - 1981
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
24 Algol-like Languages (Two volumes – P W O’Hearn, R D Tennent - 1997
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
19 A Model for Syntactic Control of Interference – P. W. O'Hearn - 1993
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
48 Idealized Algol and its specification logic – J C Reynolds - 1982
15 Semantical analysis of specification logic – R D Tennent - 1990
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
616 Light Linear Logic – Jean-yves Girard
69 Linear Types and Non-Size-Increasing Polynomial Time Computation – Martin Hofmann - 1998