Programming, Transforming, and Proving with Function Abstractions and Memories

Cached

Download Links

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

Active Bibliography

10 SOURCE OF FUNDING NUMBERS – Carolyn Talcott, Lhput Si+wcc -b-q - 1989
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
MFPS 2011 Capsules and Closures – Jean-baptiste Jeannin
Program Verification for Optimized Byte Copy – Edoardo Biagioni July, Edoardo S. Biagioni - 1994
Lisp - notes On Its Past And Future - 1980 – John McCarthy - 1999
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
4 A First Order Logic of Effects – Ian A. Mason - 1996
1 Sparse Polynomials and Linear Logic – Henry G. Baker - 1993
11 Reasoning about Programs with Effects – Ian Mason, Carolyn Talcott - 1990
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
6 Program Transformations for Configuring Components – Ian A. Mason, Carolyn L. Talcott - 1991
5 An Operational Logic of Effects – Jacob Frost, Ian A. Mason - 1996
8 Higher-Order Expression Procedures – David Sands - 1995
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
39 A Na├»ve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark