15 search results - page 3 / 3 » oopsla 2001 |
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...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
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
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
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 ...