Alex Aiken Jeffrey S. Foster University of Maryland,...  Home/Search
Context Related
| umd.edu/~jfoster/papers/pldi03.ps.gz 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: umd.edu/~jfoster/cqual/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applications, programming with these constructs helps program analysis tools locally recover strong updates, which can improve the tracking of state in flow-sensitive analyses. In this paper we continue the study of restrict and introduce the construct confine. We present a type and effect system for... (Update)
Cited by: More
A Linear Language with Locations - Greg Morrisett Amal (Correct)
Types for Lexically-Scoped Access Control - Terauchi, Aiken, Foster (2003) (Correct)
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
Active bibliography (related documents): More All
2.4: Checking and Inferring Local Non-Aliasing - Aiken, Foster, Kodumal, Terauchi (2003) (Correct)
0.4: Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (Correct)
0.2: Programmer Specified Pointer Independence - David Koes Mihai (2003) (Correct)
Similar documents based on text: More All
0.4: Polymorphic versus Monomorphic Flow-insensitive.. - Foster, Fähndrich, Aiken (2000) (Correct)
0.4: A Theory of Type Qualifiers - Foster, Fähndrich, Aiken (1999) (Correct)
0.2: Tracking down Exceptions in Standard ML Programs - Fähndrich, Foster, Aiken, Cu (1998) (Correct)
Related documents from co-citation: More All
3: Adoption and focus: Practical linear types for imperative programming - DeLine, Fahndrich - 2002
2: Parametric shape analysis via 3valued logic - Sagiv, Reps et al. - 1999
2: Flow-sensitive type qualifiers - Foster, Terauchi et al. - 2002
BibTeX entry: (Update)
A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing. In Proceedings of the ACM SIGPLAN 2003. http://citeseer.ist.psu.edu/article/aiken03checking.html More
@misc{ aiken03checking,
author = "A. Aiken and J. Foster and J. Kodumal and T. Terauchi",
title = "Checking and inferring local non-aliasing",
text = "A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring
local non-aliasing. In Proceedings of the ACM SIGPLAN 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/aiken03checking.html" }
Citations (may not include all citations):252 Analysis of Pointers and Structures (context) - Chase, Wegman et al. - 1990
246 Context-Sensitive Interprocedural Points-to Analysis in the .. - Emami, Ghiya et al. - 1994
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
228 Points-to Analysis in Almost Linear Time - Steensgaard - 1996
180 Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
175 A Safe Approximate Algorithm for Interprocedural Pointer Ali.. - Landi, Ryder - 1992
138 Enforcing High-Level Protocols in Low-Level Software - DeLine, Fahndrich - 2001
99 Polymorphic Effect Systems (context) - Lucassen, Gifford - 1988
88 Implementation of the Typed Call-by-Value #-Calculus using a.. (context) - Tofte, Talpin - 1994
69 Unification-based Pointer Analysis with Directional Assignme.. - Das - 2000
67 Bugs as Deviant Behavior: A General Approach to Inferring Er.. - Engler, Chen et al. - 2001
51 ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner et al. - 2002
49 Towards Alias-Free Pointers - Minsky - 1996
47 A System and Language for Building System-Specific (context) - Hallem, Chelf et al. - 2002
46 Flow-Sensitive Type Qualifiers - Foster, Terauchi et al. - 2002
43 Ultra-fast Aliasing Analysis using CLA: A Million Lines of C.. - Heintze, Tardieu - 2001
39 Adoption and Focus: Practical Linear Types for Imperative Pr.. - Fahndrich, DeLine - 2002
37 Alias burying: Unique variables without destructive reads (context) - Boyland - 2001
37 Alias Types - Smith, Walker et al. - 2000
25 Confined Types - Vitek, Bokowski - 1999
25 MIT Laboratory for Computer Science (context) - Gifford, Jouvelot et al. - 1987
25 Type-Preserving Garbage Collectors - Wang, Appel - 2001
9 Stratified Operational Semantics for Safety and Correctness .. - Calcagno - 2001
9 Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-.. - Rehof, Fahndrich - 2001
8 Type Qualifiers: Lightweight Specifications to Improve Softw.. - Foster - 2002
7 Checking Programmer-Specified Non-Aliasing - Foster, Aiken - 2001
2 Islands: aliasing protection in object-oriented languages (context) - Hog - 1991
2 External Uniquness (context) - Clarke, Wrigstad - 2003
2 Efficient Computation of Parametrized Pointer Information fo.. (context) - Liang, Harrold - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.umd.edu/~jfoster/cqual/): More
USENIX Association - Th Usenix Security (1992) (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (Correct)
USENIX Association - Th Usenix Security (1992) (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