Unman J,D. [1977], Monotone data fzoti ana2ysis frameworks (0)

by J B Kam
Venue:Acts Informatica
Add To MetaCart
Results 1 - 1 of 1

Systematic design of program analysis frameworks

by Patrick Cousot, Radhia Cousot - In 6th POPL , 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 ..."
Abstract - Cited by 545 (43 self) - Add to MetaCart
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