OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
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 ...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
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...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
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 ...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The reengineering and reverse engineering of software systems is gaining importance in software industry, because the accelerated turnover in software companies creates legacy sys...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
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 ...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
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...