An Equational Theory for a Region Calculus (2002)

by Simon Helsen
Citations:1 - 1 self

Active Bibliography

2 Bisimilarity for the region calculus – Simon Helsen
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
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
90 Stack Inspection: Theory and Variants – Cédric Fournet, Andrew D. Gordon - 2001
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
1 Incremental lambda lifting: An exercise in almost-denotational semantics – Gregory T. Sullivan, Mitchell Wand - 1996
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
57 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
91 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
170 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