A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory (1989)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Venue:In Proc. Symposium on Logic in Computer Science
Citations:9 - 6 self

Documents Related by Co-Citation

25 Programming, Transforming, and Proving with Function Abstractions and Memories – Ian Mason, Carolyn Talcott
23 The Semantics of Destructive Lisp – I A Mason - 1986
20 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
33 The Calculi of lambda-v-cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages – M Felleisen - 1987
333 The mechanical evaluation of expressions – P J Landin - 1964
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
23 Side Effects and Aliasing Can Have Simple Axiomatic Descriptions – Hans-Juergen Boehm - 1985
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
58 Types and Effects: Towards the Integration of Functional and Imperative Programming – M Lucassen - 1987
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
9 Making variables abstract: An equational theory for Russell – A Demers, J Donahue - 1983
4 Equality in the lazy lambda calculus – D Howe - 1989
11 Reasoning about Programs with Effects – Ian Mason, Carolyn Talcott - 1990
12 A theory of variable types. Revista Colombiana de Matem'aticas – S Feferman - 1975
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
23 Polymorphic typed lambda-calculi in a type-free axiomatic framework – Solomon Feferman - 1990
12 Verification of programs that destructively manipulate data – I A Mason - 1988