Objects and classes in Algol-like languages (2002)

by Uday S. Reddy
Venue:Information and Computation
Citations:22 - 5 self

Documents Related by Co-Citation

929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
99 Towards fully abstract semantics for local variables: preliminary report – A R Meyer, K Sieber
167 The essence of Algol – J C Reynolds - 1981
132 A Logic of Object-Oriented Programs – Martin Abadi, K. Rustan M. Leino - 1998
766 Notions of Computation and Monads – Eugenio Moggi - 1991
48 Idealized Algol and its specification logic – J C Reynolds - 1982
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988
281 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
456 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994