Thomas W. Getzinger

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Ralph Clarke Haygood [2]

2 Peter Van Roy [2]