Cristiano Calcagno, Simon Helsen, Peter Thiemann  Home/Search
Context Related
| dcs.qmw.ac.uk/~ccris...iac_calhelthi.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmul.ac.uk/~ccris/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we present two small-step operational semantics for the region calculus and prove their type soundness with respect to the region and effect system. Following the standard syntactic approach of Wright, Felleisen, and Harper, we obtain simple inductive proofs. The first semantics is store-less. It is simple and elegant and gives rise to perspicuous proofs. The second semantics provides a store-based model for the region calculus. Albeit slightly more complicated, its additional... (Update)
Context of citations to this paper: More
...which, henceforth, is being referred to as . Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 51, 56], little attention has been paid to the development of a semantic framework to reason about region annotated programs. In this...
...is being referred to as # . Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 51, 56], little attention has been paid to the development of a semantic framework to reason about region annotated programs. In this paper, we...
Cited by: More
Garbage Collection Safety for Region-based Memory Management - Elsman (Correct)
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (Correct)
An Equational Theory for a Region Calculus - Revised - Helsen (2002) (Correct)
Similar documents (at the sentence level):
65.0%: Syntactic Type Soundness Results for the Region Calculus - Calcagno, Helsen, Thiemann (2001) (Correct)
Active bibliography (related documents): More All
0.5: An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
0.4: Polymorphic Specialization for ML - Helsen, Thiemann (2002) (Correct)
0.3: An Operational Theory for a Region Calculus - Helsen (2001) (Correct)
Similar documents based on text: More All
0.6: Syntactic Type Soundness for the Region Calculus - Helsen, Thiemann (2000) (Correct)
0.3: Better Static Memory Management: Improving Region-Based.. - Aiken, Fähndrich, Levien (1995) (Correct)
Related documents from co-citation: More All
8: Region-based memory management - Tofte, Talpin - 1997
7: Syntactic type soundness for the region calculus - Helsen, Thiemann - 2000
7: Region analysis and the polymorphic lambda calculus - Banerjee, Heintze et al. - 1999
BibTeX entry: (Update)
Cristiano Calcagno, Simon Helsen, and Peter Thiemann. Syntactic type soundness results for the region calculus. Information and Computation, to appear. http://citeseer.ist.psu.edu/459682.html More
@techreport{ calcagno01syntactic,
author = "Cristiano Calcagno and Simon Helsen and Peter Thiemann",
title = "Syntactic Type Soundness Results for the Region Calculus",
month = "20",
year = "2001",
url = "citeseer.ist.psu.edu/459682.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
259 Combinatory Logic (context) - Curry, Feys et al. - 1958
188 Region-based memory management - Tofte, Talpin - 1997
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
52 A simplified account of polymorphic references - Harper - 1994
52 A simplified account of polymorphic references - Harper, on - 1996
36 ACM Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
20 Region analysis and the polymorphic lambda calculus - Banerjee, Heintze et al. - 1999
14 Syntactic type soundness for the region calculus - Helsen, Thiemann - 2000
13 A constraint-based region inference algorithm - Birkedal, Tofte - 2001
10 Region analysis and a pi-calculus with groups (context) - Zilio, Gordon - 2000
9 Stratified operational semantics for safety and correctness .. - Calcagno - 2001
6 Implementation of the typed call-by-value #-calculus using a.. (context) - Tofte, Talpin - 1994
6 Unification and polymorphism in region inference - Tofte, Birkedal - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmul.ac.uk/~ccris/): More
Two-Level Languages for Program Optimization - Calcagno (Correct)
Stratified Operational Semantics for Safety and Correctness of.. - Calcagno (2001) (Correct)
Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC