114
click to vote
CADE
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we study the completeness of resolution when it is restricted by a non-liftable order and by weak subsumption. A non-liftable order is an order that does not satisfy...
123
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
136
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
117
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...