|
261
|
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
– Chandrasekhar Boyapati, Robert Lee, Martin Rinard
- 2002
|
|
278
|
Ownership Types for Flexible Alias Protection
– David G. Clarke, John M. Potter, James Noble
- 1998
|
|
182
|
Islands: Aliasing protection in object-oriented languages
– John Hogg
- 1991
|
|
179
|
Alias Annotations for Program Understanding
– Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
- 2002
|
|
192
|
Flexible Alias Protection
– James Noble , Jan Vitek, John Potter
- 1998
|
|
108
|
Ownership, Encapsulation and the Disjointness of Type and Effect
– Dave Clarke, Sophia Drossopoulou
- 2002
|
|
125
|
Ownership Types for Object Encapsulation
– Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
- 2003
|
|
85
|
Representation Independence, Confinement and Access Control (Extended Abstract)
– Anindya Banerjee, David A. Naumann
- 2002
|
|
96
|
Confined Types
– Boris Bokowski, Jan Vitek
- 1999
|
|
84
|
Ownership Types for Safe Region-Based Memory Management in Real-Time Java
– Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard
- 2003
|
|
466
|
Featherweight Java: A Minimal Core Calculus for Java and GJ
– Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
- 1999
|
|
102
|
Data Abstraction and Information Hiding
– K. Rustan M. Leino, Greg Nelson
- 2000
|
|
170
|
A Parameterized Type System for Race-Free Java Programs
– Chandrasekhar Boyapati, Martin Rinard
- 2001
|
|
107
|
The Geneva Convention -- On The Treatment of Object Aliasing
– John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt
- 1992
|
|
116
|
Balloon Types: Controlling Sharing of State in Data Types
– Paulo Sérgio Almeida
- 1997
|
|
65
|
Wrestling With Rep Exposure
– David L. Detlefs, K. Rustan M. Leino, Greg Nelson
- 1998
|
|
115
|
Object Invariants in Dynamic Contexts
– K. Rustan M. Leino, Peter Müller
|
|
51
|
Universes: A Type System for Controlling Representation Exposure
– P Müller, A Poetzsch-Heffter
- 1999
|
|
75
|
Towards Alias-Free Pointers
– Naftaly Minsky
- 1996
|
