1994 | ||
---|---|---|
3 | Thomas W. Getzinger: The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization SAS 1994: 1-25 | |
1993 | ||
2 | Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy: Announcing the Release of Aquarius Prolog. SIGPLAN Notices 28(9): 5 (1993) | |
1 | Thomas W. Getzinger: Abstract Interpretation for the Compile-Time Optimization of Logic Programs University of Southern California 1993 |
1 | Ralph Clarke Haygood | [2] |
2 | Peter Van Roy | [2] |