Robert DeLine, Manuel Fahndrich  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/~maf/pldi01.pdf 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: microsoft.com/~...apers_no_script (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The reliability of infrastructure software, such as operating systems and web servers, is often hampered by the mismanagement of resources, such as memory and network connections. The Vault programming language allows a programmer to describe resource management protocols that the compiler can statically enforce. Such a protocol can specify that operations must be performed in a certain order and that certain operations must be performed before accessing a given data object. Furthermore, Vault... (Update)
Cited by: More
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (Correct)
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
Active bibliography (related documents): More All
0.2: Design, Analysis and Reasoning about Tools: Abstracts from.. - Nielson, (Ed.) (1993) (Correct)
0.2: Syntactic Properties of Polymorphic Subtyping - Henglein (1996) (Correct)
0.2: Machine-Assisted Theorem-Proving for Software Engineering - Martin (1994) (Correct)
Similar documents based on text: More All
0.4: Adoption and Focus: Practical Linear Types for Imperative.. - Fahndrich, DeLine (2002) (Correct)
0.3: The Fugue protocol checker: Is your software Baroque? - DeLine, Fähndrich (2003) (Correct)
0.3: Typestates for Objects - Deline, Fahndrich (2004) (Correct)
Related documents from co-citation: More All
33: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
28: Extended static checking for Java - Flanagan, Leino et al. - 2002
27: Region-based memory management - Tofte, Talpin - 1997
BibTeX entry: (Update)
M. Fahndrich and R. DeLine. Enforcing high-level protocols in low-level software. In PLDI 2001 (submitted). http://citeseer.ist.psu.edu/ahndrich01enforcing.html More
@inproceedings{ deline01enforcing,
author = "Robert DeLine and Manuel Fahndrich",
title = "Enforcing High-Level Protocols in Low-Level Software",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "59-69",
year = "2001",
url = "citeseer.ist.psu.edu/ahndrich01enforcing.html" }
Citations (may not include all citations):476 Programming Language (context) - Kernighan, Ritchie - 1988
150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al.
117 Typed memory management in a calculus of capabilities - Walker, Crary et al. - 2001
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. ACM DBLP
108 Automatically validating temporal safety properties of softw.. - Ball, Rajamani - 2001
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
82 Alias types for recursive data structures - Walker, Morrisett - 2000 ACM DBLP
77 Type-based race detection for java - Flanagan, Freund - 2000 ACM DBLP
65 Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986
61 Conventional and uniqueness typing in graph rewrite systems - Barendsen, Smetsers - 1993 ACM DBLP
58 Memory management with explicit regions - Gay, Aiken - 1998 ACM DBLP
37 Alias types - Smith, Walker et al. - 2000 ACM DBLP
33 A theory of type qualifiers - Foster, Fahndrich et al. - 1999 ACM DBLP
33 Extending typestate checking using conditional liveness anal.. (context) - Strom, Yellin - 1993
26 An extended static checker for Modula (context) - Leino, Nelson - 1998
16 Simplifying and improving qualified types - Jones - 1995 ACM DBLP
5 Wrestling with rep exposure (context) - Detlefs, Leino et al. - 1998
4 Science of Computer Programming (context) - Jones, of et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/~maf/papers_no_script.htm):
Adoption and Focus: Practical Linear Types for Imperative.. - Manuel Ahndrich Robert (2002) (Correct)
Adoption and Focus: Practical Linear Types for Imperative.. - Fahndrich, DeLine (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