DMCA
Systematic design of program analysis frameworks (1979)
by
Patrick Cousot
,
Radhia Cousot
| Venue: | In 6th POPL |
| Citations: | 762 - 50 self |
BibTeX
@INPROCEEDINGS{Cousot79systematicdesign,
author = {Patrick Cousot and Radhia Cousot},
title = {Systematic design of program analysis frameworks},
booktitle = {In 6th POPL},
year = {1979},
pages = {269--282},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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
