Dave Clarke, Sophia Drossopoulou  Home/Search
Context
Related
| slurp.doc.ic.ac.uk...ntnessoopsla02.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: slurp.doc.ic.ac.uk/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational e#ects to support reasoning about objectoriented programs. The ensuing system provides both access control and e#ects reporting. Based on this type system, we codify two formal systems for reasoning about aliasing and the disjointness of computational e#ects. The first can be used to prove that evaluation of two expressions will never lead to aliases, while the... (Update)
Active bibliography (related documents): More All
1.7: External Uniqueness is Unique Enough - Clarke, Wrigstad (2002) (Correct)
0.9: Object Ownership and Containment - Clarke (2001) (Correct)
0.8: External Uniqueness - Clarke, Wrigstad (2003) (Correct)
Similar documents based on text: More All
0.2: Saving the World from Bad Beans: Deployment-Time.. - Clarke, Richmond, Noble (2003) (Correct)
0.2: Proceedings of the First International Workshop on Aliasing.. - (ed.) (2003) (Correct)
0.1: Testing Disjointness of Private Datasets - Kiayias, Mitrofanova (2005) (Correct)
BibTeX entry: (Update)
@misc{ clarke-ownership,
author = "Dave Clarke and Sophia Drossopoulou",
title = "Ownership, Encapsulation and the Disjointness of Type and Effect",
url = "citeseer.ist.psu.edu/article/clarke02ownership.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
461 Programming Language (context) - Stroustrup - 1986
188 Region-Based Memory Management - Tofte, Talpin - 1997
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
141 Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
138 Enforcing high-level protocols in low-level software - DeLine, Fahndrich - 2001
132 Syntactic control of interference (context) - Reynolds - 1978
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
103 The Real-Time Specification for Java - Bollella, Gosling et al. - 2000
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
79 JML: A notation for detailed design - Leavens, Baker et al. - 1999
77 Type-based race detection for Java - Flanagan, Freund - 2000
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
70 Region-based memory management in cyclone - Grossman, Morrisett et al. - 2002
68 Flexible alias protection - Noble, Vitek et al. - 1988
66 The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992
57 The LOOP compiler for Java and JML - van den Berg, Jacobs - 2031
52 Alias annotations for program understanding - Aldrich, Kostadinov et al. - 2002
52 Types for Safe Locking - Flanagan, Abadi - 1999
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1998
49 Towards alias-free pointers - Minsky - 1996
49 Type-based alias analysis - Diwan, McKinley et al. - 1998
42 Simple ownership types for object containment - Clarke, Noble et al. - 2001
37 Alias burying: Unique variables without destructive reads (context) - Boyland - 2001
37 Balloon Types: Controlling sharing of state in data types (context) - Almeida - 1997
36 Guava: a dialect of Java without data races - Bacon, Strom et al. - 2000
33 Journal of Functional Programming (context) - Talpin, Jouvelot et al. - 1992
31 Java Card Technology for Smart Cards (context) - Chen - 2000
27 Escape analysis for object-oriented languages: Application t.. - Blanchet - 1999
25 Confined Types - Bokowski, Vitek - 1999
22 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
22 Use-once' variables and linear objects -- storage management (context) - Baker - 1995
22 Data Groups: Specifying the Modification of Extended State - Rustan, Leino - 1998
21 A WP-calculus for OO (context) - de Boer - 1999
19 A parameterized type system for race-free Java programs (context) - Boyapati, Rinard - 2001
19 The ins and outs of objects - Potter, Noble et al. - 1998
16 Lucassen and David K (context) - John - 1988
15 Capabilities for Sharing: A Generalization of Uniqueness and.. (context) - Boyland, Noble et al. - 2001
15 Universes: A type system for controlling representation expo.. (context) - Muller, Poetzsch-He - 1999
14 An object-oriented e#ects system (context) - Greenhouse, Boyland - 1999
14 Reasoning about aliasing - Utting - 1995
14 and access control (context) - Banerjee, Naumann et al. - 2002
13 Modular Specification and Verification of Object-Oriented Pr.. (context) - Muller - 2001
9 School of Computer Science and Engineering (context) - Clarke, Containment - 2001
8 An approach to safe object sharing - Bryce, Razafimahefa - 1999
7 ACM SIGPLAN Notices (context) - MacLennan, objects et al. - 1982
6 Modular specification of frame properties in JML - Muller, Poetzsch-He et al. - 2002
5 An object calculus with ownership and containment - Clarke - 2001
5 Promises: Limitied specifications for analysis and manipulat.. (context) - Chan, Boyland et al. - 1998
4 Nested types - Odersky, Zenger - 2001
3 JAC -- Java with transitive readonly access control - Kniesel, Theisen - 1999
3 Enhancing encapsulation in OOP: A practical approach (context) - Theisen
2 ects and uniqueness (context) - Boyland, of - 2001
2 Reasoning about aliasing (context) - Wills - 1993
2 Alias control with read-only references (context) - Skoglund, Wrigstad - 2002
2 ACL --- eliminating parameter aliasing with dynamic dispatch - Leavens, Antropova - 1999
2 A type system for preventing data races and deadlocks in Jav.. - Boyapati, Lee et al. - 2002
2 ect system for encapsulating memory in Java (context) - Yates - 1999
1 Value types in Ei#el (context) - Kent, Howse - 1996
Documents on the same site (http://slurp.doc.ic.ac.uk/pubs.html): More
Java Exceptions Throw no Surprises - Drossopoulou, Valkevych (2000) (Correct)
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (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