Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney  Home/Search
Context Related
| 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 |
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