Demand interprocedural program analysis using logic databases (1993)

by T W Reps
Venue:In Workshop on Programming with Logic Databases