Live-structure dataflow analysis for Prolog (1994)

by A Mulkers, W Winsborough, M Bruynooghe
Venue:ACM Trans. Prog. Lang. Syst