|
СТ |
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability |
2004 |
Spoon S. A., Shivers O. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
24.07.2004 |
|
СТ |
Atomic Heap Transactions and Fine-grain Interrupts |
1999 |
Shivers O., Clark J. W., Mcgrath R. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Automatic Management of Operating-System Resources |
1997 |
Shivers O. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Useless-Variable Elimination |
1991 |
Shivers O. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
The Semantics of Scheme Control-Flow Analysis |
1991 |
Shivers O. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
