James Noble  Home/Search
Context
Related
| purdue.edu/kacheck...cts_of_aliasing.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: purdue.edu/kacheck/papers.php3 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Aliasing is fundamental to object-oriented systems: every object has an identity, and since by that identity an object can be referenced from anywhere within the program, then the object could be aliased from anywhere within the program. By complicating the relationship between the static program text and its dynamic execution, aliasing makes programs harder to understand, to modify, and especially to debug. In this position paper, we describe some of the objectives of studying aliasing... (Update)
Active bibliography (related documents): More All
0.3: Confined Types - Bokowski, Vitek (1999) (Correct)
0.2: Confined Types in Java - Vitek, Bokowski (2000) (Correct)
0.2: An Object-Oriented Effects System - Greenhouse, Boyland (Correct)
Similar documents based on text: More All
0.4: Dynamic Alias Protection in Prototype-Based Languages - Noble, Clarke, Potter (1998) (Correct)
0.3: Automatic Detection of Immutable Fields in Java - Porat, Biberstein, Koved.. (2000) (Correct)
0.3: Object Ownership for Dynamic Alias Protection - Noble, Clarke, Potter (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ noble99objects,
author = "James Noble",
title = "The Objects of Aliasing",
booktitle = "{ECOOP} Workshops",
pages = "157-159",
year = "1999",
url = "citeseer.ist.psu.edu/noble99objects.html" }
Citations (may not include all citations):342 Eiffel: The Language (context) - Meyer - 1992
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
68 Flexible alias protection - Noble, Vitek et al. - 1998
66 The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992
49 Towards alias-free pointers - Minsky - 1996
25 Balloon types: Controlling sharing of state in data types - Almeida - 1997
25 Confined types - Bokowski, Vitek - 1999
22 use-once' variables and linear objects -- storage management (context) - Baker - 1995
22 A trace model of pointers and objects - Hoare, Jifeng - 1999
15 Promises: Limited specifications for analysis and manipulati.. (context) - Chan, Boyland et al. - 1998
13 An approach to improve locality using sandwich types - Genius, Trapp et al. - 1998
8 Capsules and types in Fresco - Wills - 1991
7 Deferring destruction when reading unique variables (context) - Boyland
1 Extened static checking (context) - Detlefs, Rustan et al. - 1998
1 Copying and swaping: Influences on the design of reusable so.. (context) - Harms, Weide - 1991
1 Virginity: A contribution to the specification of object-ori.. (context) - Detlefs, Nelson et al.
Documents on the same site (http://gecko.cs.purdue.edu/kacheck/papers.php3): More
An Object Calculus with Ownership and Containment (Extended.. - Clarke (2001) (Correct)
Overcoming Representation Exposure - Clarke, Noble, Potter (1999) (Correct)
Who's Afraid of Ownership Types? - Clarke, Noble, Potter (1999) (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