Bisimilarity for the region calculus

Cached

Download Links

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

Active Bibliography

1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
51 Memory Safety Without Runtime Checks or Garbage Collection – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2003
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
90 Stack Inspection: Theory and Variants – Cédric Fournet, Andrew D. Gordon - 2001
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard - 2003
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
15 Macroscopic Data Structure Analysis and Optimization – Christopher Arthur Lattner - 2005
93 Language Support for Regions – David Gay, Alex Aiken - 2001