|
182
|
Islands: Aliasing protection in object-oriented languages
– John Hogg
- 1991
|
|
75
|
Towards Alias-Free Pointers
– Naftaly Minsky
- 1996
|
|
1540
|
The Java Language Specification
– J Gosling, B Jay, G Steele
- 1996
|
|
107
|
The Geneva Convention -- On The Treatment of Object Aliasing
– John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt
- 1992
|
|
221
|
Type-based race detection for Java
– Cormac Flanagan, Stephen N. Freund
|
|
347
|
Enforcing High-Level Protocols in Low-Level Software
– Robert DeLine, Manuel Fahndrich
- 2001
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
239
|
Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
30
|
Polymorphic eect systems
– J M Lucassen, D K Giord
- 1988
|
|
116
|
Balloon Types: Controlling Sharing of State in Data Types
– Paulo Sérgio Almeida
- 1997
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
164
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
114
|
Polymorphic Type, Region and Effect Inference
– Jean-Pierre Talpin, Pierre Jouvelot
- 1991
|
|
104
|
Types for safe locking
– Cormac Flanagan
- 1999
|
|
269
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
7
|
Value types in Eiffel
– Stuart Kent, John Howse
- 1996
|
|
25
|
Values and objects in programming languages
– B. J. Maclennan
- 1982
|
