Difference between revisions of "Paper/Abstract Interpretation"
Jump to navigation
Jump to search
(Created page with "{{cite book |first1=Patrick |last1=Cousot |first2=Radhia |last2=Cousot |title=Abstract interpretation: a unified lattice model for static analysis of programs by construction...") |
|||
| Line 11: | Line 11: | ||
|date=1977 | |date=1977 | ||
}} | }} | ||
<noinclude> | |||
{{#Widget:PDF | |||
|url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf | |||
|width=960 | |||
|height=800 | |||
}} | |||
</noinclude> | |||
Revision as of 06:11, 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. 4th POPL. local page: ACM Press. p. 238-252.