Programming, Transforming, and Proving with Function Abstractions and Memories

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:25 - 10 self

Documents Related by Co-Citation

255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
9 A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory – Ian Mason, Carolyn Talcott - 1989
23 The Semantics of Destructive Lisp – I A Mason - 1986
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
12 Verification of programs that destructively manipulate data – I A Mason - 1988
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
23 Side Effects and Aliasing Can Have Simple Axiomatic Descriptions – Hans-Juergen Boehm - 1985
20 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
33 The Calculi of lambda-v-cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages – M Felleisen - 1987
68 A Delegation-based Object Calculus with Subtyping – Kathleen Fisher, John C. Mitchell - 1995
333 The mechanical evaluation of expressions – P J Landin - 1964
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990