Ownership, encapsulation and the disjointness of type and effect

By D. Clarke, Sophia Drossopoulou. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2002

303 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Materials Chemistry

View Paper: https://www.semanticscholar.org/paper/9137b46b85b90bcaa487bd66f0de8148746142a8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. John Tang Boyland
2. Robert Lee
3. Martin C. Rinard
4. Matthew J. Parkinson
5. Chandrasekhar Boyapati
6. Danny Dig
7. Gavin M. Bierman
8. Peter W. O'Hearn

In Materials Chemistry

1. Martin C. Rinard
2. Gavin M. Bierman
3. John Tang Boyland
4. Chandrasekhar Boyapati
5. Matthew J. Parkinson
6. Robert Lee

Citations in the corpus

• Separation logic and abstraction (2005, methodology): “Ownership types [ 6 ] have been used to restrict aliasing in object-oriented languages.”
• Checking Interference with Fractional Permissions (2003, methodology): “See for example Reynolds syntactic control of interference [3], our earlier work [4] or Clarke and Drossopoulou's JOE [5]. permission-based In this model, one checks a statement to see if it can be executed under a given set of permissions.”
• Ownership types for safe programming: preventing data races and deadlocks (2002, methodology): “Note that JOE [12] also enforces Property E3.”
• A type and effect system for deterministic parallel Java (2009, background): “Effect systems that support nested regions are generally based on object ownership [16, 14] or use explicit declarations that one region is under another [30, 26].”