Reasoning about Programs with Effects (1990)

Cached

Download Links

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

Documents Related by Co-Citation

255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
23 The Semantics of Destructive Lisp – I A Mason - 1986
33 The Calculi of lambda-v-cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages – M Felleisen - 1987
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
25 Programming, Transforming, and Proving with Function Abstractions and Memories – Ian Mason, Carolyn Talcott
12 Verification of programs that destructively manipulate data – I A Mason - 1988
333 The mechanical evaluation of expressions – P J Landin - 1964
9 Making variables abstract: An equational theory for Russell – A Demers, J Donahue - 1983
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
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
67 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
55 Combining generational and conservative garbage collection: Framework and implementations – A Demmers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker - 1990
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
4 Equality in the lazy lambda calculus – D Howe - 1989
12 A theory of variable types. Revista Colombiana de Matem'aticas – S Feferman - 1975