Interprocedural analyses: A comparison (0)

by H Seidl, C Fecht
Venue:Journal of Logic Programming (JLP