Systematic design of program analysis frameworks
Patrick M. Cousot, Radhia Cousot · 1979
Semantic analysis of programs is essential in optimizing compilers and program verification systems. It encompasses data flow analysis, data type determination, generation of approximate invariant assertions, etc.