|
42
|
Generic universe types
– Werner Dietl, Sophia Drossopoulou, Peter Müller
- 2007
|
|
3
|
Ownership type systems and dependent classes
– Werner Dietl, Peter Müller
- 2008
|
|
22
|
Formalization of ownership transfer in Universe Types
– Peter Müller, Arsenii Rudich
- 2007
|
|
7
|
Annotations on Java types JSR 308 working document
– Michael D. Ernst
- 2007
|
|
7
|
Universe Types for Topology and Encapsulation
– Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
|
|
|
Tunable Universe Type Inference
– Werner Dietl, Michael Ernst, Peter Müller
- 2009
|
|
|
Comparing Universes and Existential Ownership Types
– Nicholas Cameron, Werner Dietl
|
|
43
|
Specification and verification challenges for sequential object-oriented programs
– Gary T. Leavens, K. Rustan M. Leino, Peter Müller
|
|
|
Tunable Static Inference for . . .
– Werner Dietl, Michael D. Ernst, Peter Müller
|
|
4
|
Class-Local Object Invariants
– K. Rustan M. Leino, Angela Wallenburg
- 2008
|
|
3
|
Reasoning about object structures using ownership
– Peter Müller
- 2005
|
|
1
|
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods
– A. J. Summers, S. Drossopoulou, P. Müller
- 2008
|
|
1
|
Aliasing, confinement, and ownership in object-oriented programming
– Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
- 2007
|
|
3
|
Sound reasoning about unchecked exceptions
– Bart Jacobs, Peter Müller, Frank Piessens
- 2007
|
|
|
Universes for Race Safety
– D. Cunningham , S. Drossopoulou , S. Eisenbach
- 2007
|
|
1
|
A Parameterized Type System for Simple Loose Ownership Domains
– Jan Schäfer , Arnd Poetzsch-Heffter
- 2002
|
|
2
|
Lessons from the JML Project
– Gary T. Leavens, Curtis Clifton, Gary T. Leavens, Curtis Clifton
- 2005
|
|
37
|
Generic ownership for generic Java
– Alex Potanin, James Noble, Dave Clarke, Robert Biddle
- 2006
|
|
26
|
Multiple Ownership
– Sophia Drossopoulou, James Noble, Matthew J Smith
- 2007
|
