Programming, Transforming, and Proving with Function Abstractions and Memories

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:28 - 11 self

Active Bibliography

115 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
107 Intuitionistic Reasoning about Shared Mutable Data Structure – John C. Reynolds - 2000
93 Lively linear Lisp — ‘Look Ma, no garbage – Henry G Baker - 1992
50 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
42 Categorical Models for Local Names – Ian Stark - 1996
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
19 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989