A Type-based Framework for Program Analysis (1994)

by C Hankin, D Le Métayer
Venue:SAS’94 — Static Analysis Symposium, volume 864 of LNCS