Systematic design of program analysis frameworks

Cousot, Patrick, Cousot, Radhia·1979·Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79