Deriving specialized program analyses for certifying component-client conformance (2002)

by G Ramalingam, A Warshavsky, J Field, D Goyal, M Sagiv
Venue:In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation