Difference between revisions of "Paper/Abstract Interpretation"
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
|last2=Cousot | |last2=Cousot | ||
|title=Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints | |title=Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints | ||
|url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf | |||
|publisher=ACM Press | |publisher=ACM Press | ||
|page=238-252 | |page=238-252 | ||
Revision as of 06:12, 18 October 2021
Cousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF). 4th POPL. local page: ACM Press. p. 238-252.