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

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

Documents Related by Co-Citation

26 Programming, Transforming, and Proving with Function Abstractions and Memories – Ian Mason, Carolyn Talcott
23 The Semantics of Destructive Lisp – I Mason
19 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
335 The mechanical evaluation of expressions – Peter J Landin - 1964
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
1114 ACTORS: A Model of Concurrent Computation in Distributed Systems – Gul A Agha - 1986
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965