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]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page