|
112
|
Object Ownership and Containment
– David Clarke
- 2001
|
|
131
|
Modular Specification and Verification of Object-Oriented Programs, volume 2262 of LNCS
– P Müller
- 2002
|
|
92
|
Universes: Lightweight Ownership for JML
– Werner Dietl, Peter Müller
- 2005
|
|
12
|
Ownership in design patterns
– S Nägeli
- 2006
|
|
115
|
Object Invariants in Dynamic Contexts
– K. Rustan M. Leino, Peter Müller
|
|
108
|
Ownership, Encapsulation and the Disjointness of Type and Effect
– Dave Clarke, Sophia Drossopoulou
- 2002
|
|
66
|
Modular invariants for layered object structures
– Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens
|
|
466
|
Featherweight Java: A Minimal Core Calculus for Java and GJ
– Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
- 1999
|
|
27
|
JML Reference Manual
– Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Peter Müller, Joseph Kiniry, Patrice Chalin
- 2008
|
|
4
|
An Isabelle formalization of the Universe type system
– M Klebermaß
- 2007
|
|
42
|
Generic universe types
– Werner Dietl, Sophia Drossopoulou, Peter Müller
- 2007
|
|
84
|
Ownership Types for Safe Region-Based Memory Management in Real-Time Java
– Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard
- 2003
|
|
25
|
Protecting representation with effect encapsulation
– Yi Lu, John Potter
- 2006
|
|
8
|
Scoped types and aspects for real-time systems
– Chris Andrea, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
- 2006
|
|
85
|
Representation Independence, Confinement and Access Control (Extended Abstract)
– Anindya Banerjee, David A. Naumann
- 2002
|
|
278
|
Ownership Types for Flexible Alias Protection
– David G. Clarke, John M. Potter, James Noble
- 1998
|
|
192
|
Flexible Alias Protection
– James Noble , Jan Vitek, John Potter
- 1998
|
|
261
|
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
– Chandrasekhar Boyapati, Robert Lee, Martin Rinard
- 2002
|
|
125
|
Ownership Types for Object Encapsulation
– Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
- 2003
|
