See this document in CiteSeerX!

Region-Based Memory Management in Cyclone  (Make Corrections)  (70 citations)
Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney



  Home/Search   Context   Related

 
View or download:
cornell.edu/projec...cycloneregions.ps
cornell.edu/projec...ycloneregions.pdf


From:  cornell.edu/People/jcheney/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Cyclone is a type-safe programming language derived from C. The primary design goal of Cyclone is to let programmers control data representation and memory management without sacrificing type-safety. In this paper, we focus on the region-based memory management of Cyclone and its static typing discipline. The design incorporates several advancements, including support for region subtyping and a coherent integration with stack allocation and a garbage collector. To support separate compilation,... (Update)

Cited by:   More
Quantifying the Performance of - Garbage Collection Vs   (Correct)
Mutatis Mutandis: - Safe And Predictable   (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003)   (Correct)

Similar documents (at the sentence level):
57.0%:   Formal Type Soundness for Cyclone's Region System - Grossman, Morrisett, Jim.. (2001)   (Correct)
21.1%:   Safe Programming at the C Level of Abstraction - Grossman (2003)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Linear Regions Are All You Need - Fluet, Morrisett, Ahmed   (Correct)
0.3:   Implementation and Performance Evaluation of a Safe Runtime.. - Fluet, Wang (2004)   (Correct)
0.3:   the Garbage Collection Bibliography - Richard Jones (2003)   (Correct)

Similar documents based on text:   More   All
1.3:   Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002)   (Correct)
0.9:   Compiling for Runtime Code Generation - Smith, Grossman, Morrisett.. (2000)   (Correct)
0.6:   Certifying Compilation and Run-time Code Generation - Hornof, Jim (1999)   (Correct)

Related documents from co-citation:   More   All
34:   Region-based memory management - Tofte, Talpin - 1997
30:   Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
30:   Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001

BibTeX entry:   (Update)

Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. Draft manuscript. http://citeseer.ist.psu.edu/539443.html   More

@inproceedings{ grossmanregionbased,
    author = "Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney",
    title = "Region-Based Memory Management in {C}yclone",
    url = "citeseer.ist.psu.edu/539443.html" }
Citations (may not include all citations):
517   The Art of Computer Systems Performance Analysis (context) - Jain - 1991
311   Abstract types have existential type (context) - Mitchell, Plotkin - 1988
197   Dependent types in practical programming - Xi, Pfenning - 1999
188   Region-based memory management - Tofte, Talpin - 1997
167   Garbage collection in an uncooperative environment (context) - Boehm, Weiser - 1988
138   Enforcing high-level protocols in low-level software - DeLine, Fahndrich - 2001
138   Typed closure conversion - Minamide, Morrisett et al. - 1996
117   Typed memory management in a calculus of capabilities - Walker, Crary et al. - 2000
108   Automatically validating temporal safety properties of inter.. - Ball, Rajamani - 2001
97   Stack-based typed assembly language - Morrisett, Crary et al. - 1998
88   Static detection of dynamic memory errors - Evans - 1996
88   Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
81   Information and Computation (context) - Bruce, Cardelli et al. - 1999
67   CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
58   Memory management with explicit regions - Gay, Aiken - 1998
58   Better static memory management: Improving region-based anal.. - Aiken, Fahndrich et al. - 1995
54   Programming with regions in the ML Kit - Tofte, Birkedal et al. - 2001
45   Language support for regions - Gay, Aiken - 2001
33   Typing a multi-language intermediate code - Gordon, Syme - 2001
25   Type-preserving garbage collectors - Wang, Appel - 2001
22   cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
17   On regions and linear types - Walker, Watkins - 2001
16   Imperative programming with dependent types - Xi - 2000
11   A direct approach to control-flow sensitive region-based mem.. - Henglein, Makholm et al. - 2001
8   Principled scavenging (context) - Monnier, Saha et al. - 2001
7   Combining region inference and garbage collection - Hallenberg, Elsman et al. - 2002
6   Existential types for imperative languages - Grossman - 2002
6   Department of Computer Science (context) - manual, Report - 2001
4   NET common language runtime (context) - Dowd, Henderson et al. - 2001
3   Formal type soundness for Cyclone's region system - Grossman, Morrisett et al. - 2001
2   ACM Transactions on Progamming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
http://lclint.cs.virginia.edu/guide/
www.gnu.org/software/gcc/projects/bp/main.html



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.cornell.edu/People/jcheney/):   More
Theorem Prover Usability - Cheney (2001)   (Correct)
CS 686 Project Report Quantum PDL - Cheney (2001)   (Correct)
Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002)   (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