Aaron Greenhouse, John Boyland  Home/Search
Context Related
| uwm.edu/~boyland/papers/effects.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: uwm.edu/~boyland/papers...effects (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An effects systems describes how state may be accessed during the execution of some program component. This information is used to assist reasoning about a program, such as determining whether data dependencies may exist between two computations. We define an effects system for Java that preserves the abstraction facilities that make objectoriented programming languages attractive. Specifically, a subclass may extend abstract regions of mutable state inherited from the superclass. The... (Update)
Context of citations to this paper: More
.... public class Vector private int size; private unique Object[ contents; public Vector( borrowed size = 0; contents = new Object[10]; public int size( borrowed return size; public synchronized Object elementAt(int i) return contents[i] error check omitted...
Cited by: More
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2004) (Correct)
Alias Killing: Unique Variables Without Destructive Reads - Boyland (1999) (Correct)
Active bibliography (related documents): More All
0.3: A Static Analyzer for Finding Dynamic Programming Errors - William Bush Jonathan (2000) (Correct)
0.3: Cognitive Support in Software Engineering Tools: A.. - Andrew Walenstein (2002) (Correct)
0.2: The Objects of Aliasing - Noble (1999) (Correct)
Similar documents based on text: More All
0.3: Effects and effect inference for a core Java calculus - Bierman, Parkinson (2003) (Correct)
0.1: Conditional Evaluation in Simple Multi-Visit Attribute-Grammar.. - Yang (1997) (Correct)
0.1: Nearshore Hydrodynamics Studies in Western Lake Michigan, 1993-1995 - Liu (Correct)
Related documents from co-citation: More All
3: Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
3: Flexible alias protection - Noble, Vitek et al.
3: Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
BibTeX entry: (Update)
Aaron Greenhouse and John Boyland. An objectoriented effects system. In ECOOP'99 --- ObjectOriented Programming, 13th European Conference. Springer, Berlin, To appear. http://citeseer.ist.psu.edu/469656.html More
@article{ greenhouse99objectoriented,
author = "Aaron Greenhouse and John Boyland",
title = "An Object-Oriented Effects System",
journal = "Lecture Notes in Computer Science",
volume = "1628",
pages = "205--??",
year = "1999",
url = "citeseer.ist.psu.edu/469656.html" }
Citations (may not include all citations):132 Syntactic control of interference (context) - Reynolds - 1978
88 Implementation of the typed call-by-value - calculus using a.. (context) - Tofte, Talpin - 1994
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
70 Points-to analysis in almost linear time - Steensgaard - 1996
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
58 Better static memory management: Improving region-based anal.. - Aiken, Fahndrich et al. - 1995
27 region and effect inference (context) - Talpin, Jouvelot - 1992
22 Data groups: Specifying the modification of extended state - Rustan, Leino - 1998
15 Promises: Limited specifications for analysis and manipulati.. (context) - Chan, Boyland et al. - 1998
7 Massachusetts Institute of Technology (context) - Gifford, Jouvelot et al. - 1987
7 Deferring destruction when reading unique variables (context) - Boyland - 1999
3 Aspect: Detecting bugs with abstract dependencies (context) - Jackson - 1995
1 MayEqual: A new alias question (context) - Boyland, Greenhouse - 1999
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