Modular static program analysis (0)

by P COUSOT, R COUSOT
Venue:In Proceedings of Compiler Construction (2002