Towards a tool kit for the automatic generation of interprocedural data flow analyses (1996)

by Jens Knoop, Oliver Rthing, Bernhard Steffen
Venue:Journal of Programming Languages