Bisimilarity for the region calculus

Cached

Download Links

by Simon Helsen
Venue:Higher-Order and Symbolic Computation
Citations:2 - 1 self

Documents Related by Co-Citation

283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
28 Region Analysis and the Polymorphic Lambda Calculus – Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
2 Semantics of program analyses and transformations – N Benton - 2005
13 Optimizing ML Using a Hierarchy of Monadic Types – Andrew Tolmach - 1998
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
23 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
10 The Meaning of Types - From Intrinsic to Extrinsic Semantics – John C Reynolds, John C. Reynolds, John C. Reynolds - 2000
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
82 Simple Relational Correctness Proofs for Static Analyses and Program Transformations – Nick Benton - 2004
58 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
27 Monads, effects and transformations – Nick Benton, Andrew Kennedy - 1999
29 Observational Purity and Encapsulation – David A. Naumann - 2006