|
СТ |
Adding Type Parameterization to the Java Language |
1997 |
Agesen O., Freund S. N., Mitchell J. C. |
|
|
|
SIGPLAN Notices |
23.01.1998 |
|
СТ |
An Efficient Meta-lock for Implementing Ubiquitous Synchronization |
1999 |
Agesen O., Detlefs D., Garthwaite A., Knippel R., Ramakrishna Y. S., White D. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
|
СТ |
Constraint-Based Type Inference and Parametric Polymorphism |
1994 |
Agesen O. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Garbage Collection and Local Variable Type-Precision and Liveness in JavaTM Virtual Machines |
1998 |
Agesen O., Detlefs D., Moss J.E. B. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
|
СТ |
Inlining of Virtual Methods |
1999 |
Detlefs D., Agesen O. |
|
|
|
Lecture Notes in Computer Science |
09.07.1999 |
|
СТ |
Sifting Out the Gold: Delivering Compact Applications from an Exploratory Object-Oriented Programming Environment |
1994 |
Agesen O., Ungar D. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
|
СТ |
The Cartesian Product Algorithm. Simple and Precise Type Inference of Parametric Polymorphism |
1995 |
Agesen O. |
Lecture Notes in Computer Science |
|
|
ECOOP 95 - Object-Oriented Programming |
26.09.1995 |
|
СТ |
Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages |
1995 |
Agesen O., Holzle U. |
|
|
|
SIGPLANE Notices |
26.12.1995 |
|
СТ |
Type Inference of SELF Analysis of Object with Dynamic and Multiple Inheritance |
1993 |
Agesen O., Palsberg J., Schwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
