A type-based framework for program analysis (1994)

by C Hankin, D Le Metayer
Venue:In Proceedings of the Static Analysis Symposium, LNCS 864