Sciweavers

OOPSLA
2001
Springer
14 years 5 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
OOPSLA
2001
Springer
14 years 5 months ago
The Architecture of a UML Virtual Machine
Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, N...
OOPSLA
2001
Springer
14 years 5 months ago
Object Race Detection
Christoph von Praun, Thomas R. Gross
OOPSLA
2001
Springer
14 years 5 months ago
Object-Oriented Composition Untangled
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Klaus Ostermann, Mira Mezini
OOPSLA
2001
Springer
14 years 5 months ago
Jiazzi: New-Age Components for Old-Fashioned Java
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
OOPSLA
2001
Springer
14 years 5 months ago
An On-the-Fly Reference Counting Garbage Collector for Java
Reference counting is not naturally suitable for running on multiprocessors. The update of pointers and reference counts requires atomic and synchronized operations. We present a ...
Yossi Levanoni, Erez Petrank
OOPSLA
2001
Springer
14 years 5 months ago
A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint
The reengineering and reverse engineering of software systems is gaining importance in software industry, because the accelerated turnover in software companies creates legacy sys...
Michele Lanza, Stéphane Ducasse
OOPSLA
2001
Springer
14 years 5 months ago
Regression Test Selection for Java Software
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
Mary Jean Harrold, James A. Jones, Tongyu Li, Dong...
OOPSLA
2001
Springer
14 years 5 months ago
Contract Soundness for Object-Oriented Languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
Robert Bruce Findler, Matthias Felleisen