Travelled to:1 × Belgium
Collaborated with:∅
Talks about:interpret (1) abstract (1) benefit (1) prolog (1) driven (1) optim (1) cost (1)
Person: Thomas W. Getzinger
DBLP: Getzinger:Thomas_W=
Contributed to:
1994Wrote 1 papers:
- SAS-1994-Getzinger #abstract interpretation #cost analysis #optimisation #prolog
- The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization (TWG), pp. 1–25.