| Constructing Abstract
Algebraic Models for Object-Oriented Languages with Aliasing
Phillip M. Yelland (SUN
Microsystems)
|
|
||
| The Objects of Aliasing
James Noble (MRI, Macquarie
University, Sydney)
|
(.ps.gz)
|
||
| Towards safer aliasing
with the Eiffel language
Olivier Zendra and Dominique
Colnet (LORIA)
|
(.ps.gz)
|
||
| Alias Control is Crucial
for Modular Verification of Object-Oriented Programs
Peter Müller
and Arnd Poetzsch-Heffter (Fernuniversität Hagen)
|
(.ps.gz)
|
||
| Overcoming Representation
Exposure
David Clarke, James Noble
and John Potter (Microsoft Research Institute, Macquarie University,
Sydney)
|
(.ps.gz)
|
||
| Confined Types
Boris Bokowski (GMD-First)
and Jan Vitek (University of Geneva)
|
(.ps.gz)
|
||
| JAC -- Java with transitive
readonly access control
Günter
Kniesel, Dirk Theisen (Universtät Bonn)
|
(.ps.gz)
|
||
| May Equal: A New Alias
Question
John Tang Boyland (University
of Wisconsin - Milwaukee) and Aaron Greenhouse (Carnegie Mellon
University)
|
(.ps.gz)
|
||
| PAOLA: Program Analysis
of Object-Oriented Languages
Wolfram Amme, Markus Schordan,
Laslo Böszörmenyi and Wilhem Rossak
|
(.ps.gz)
|
||
| Alias Killing: Unique
Variables Without Destructive Reads
John Tang Boyland (University
of Wisconsin - Milwaukee)
|
(.ps.gz)
|
||
| Using Aliasing Information
to Predict Real-Time Garbage Collection
Patrik Persson (Lund University)
|
(.ps.gz)
|
||
| Implementing "Object
Ownership to Order"
Boris Bokowski (GMD-First)
|
(.ps.gz)
|
||
| Partial Redundancy Elimination
for Access Path Expressions
Anthony L. Hosking, Nathaniel
Nystrom, David Withlock (Purdue University), Quitin Cutts (University
of Glasgow) and Amer Diwan (Stanford University)
|
(.ps.gz)
|
| PhD Thesis
Phillip M. Yelland (SUN
Microsystems)
|
|||
| Confined Types (Full paper, to appear OOPSLA) Boris Bokowski (GMD-First) and Jan Vitek (University of Geneva)
|