The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (1990)

by Peter Van Roy, Alvin M Despain
Venue:In NACLP 90