Live-structure dataflow analysis for prolog (1994)

by A Mulkers, W Winsborough, M Bruynooghe
Venue:ACM TOPLAS