Thomas W. Getzinger

According to our database, Thomas W. Getzinger authored at least 3 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization

Thomas W. Getzinger

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993

Abstract Interpretation for the Compile-Time Optimization of Logic Programs

Thomas W. Getzinger

PhD thesis, 1993

Announcing the Release of Aquarius Prolog.

Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy

ACM SIGPLAN Notices, 1993