Inferring the Equivalence of Functional Programs that Mutate Data (1992)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Venue:Theoretical Computer Science
Citations:26 - 7 self

Active Bibliography

13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
4 A First Order Logic of Effects – Ian A. Mason - 1996
20 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
6 Program Transformations for Configuring Components – Ian A. Mason, Carolyn L. Talcott - 1991
7 A Theory of Classes for a Functional Language with Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
5 An Operational Logic of Effects – Jacob Frost, Ian A. Mason - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
39 Categorical Models for Local Names – Ian Stark - 1996
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
107 Intuitionistic Reasoning about Shared Mutable Data Structure – John C. Reynolds - 2000
730 Notions of Computation and Monads – Eugenio Moggi - 1991
7 Call byName, Assignment and the Lambda Calculus – Martin Odersky, Dan Rabin, Paul Hudak - 1992
11 Reasoning about Programs with Effects – Ian Mason, Carolyn Talcott - 1990
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991