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...") |
|||
| (8 intermediate revisions by one other user not shown) | |||
| Line 4: | Line 4: | ||
|first2=Radhia | |first2=Radhia | ||
|last2=Cousot | |last2=Cousot | ||
|author-link=Patrick 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 | ||
| Line 11: | Line 13: | ||
|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 | |||
}} | |||
It would be very useful to also read up on [[Dana Scott]]'s paper<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref> on [[Paper/Outline of a Mathematical Theory of Computation|Outline of a Mathematical Theory of Computation]]. Patrick Cousot also wrote a textbook<ref>{{:Book/Principles of Abstract Interpretation}}</ref> on this subject. | |||
=Related Pages= | |||
{{#ask: | |||
[[Category:{{PAGENAME}}]] | |||
[[Category:Semantics]] | |||
[[Category:Data Science]] | |||
|format=list | |||
}} | |||
{{PagePostfix | |||
|category_csd=Semantics,Abstract Interpretation,Data Science,Lattice,Poset | |||
|semantic_labels=Authored by:[[Authored by::Patrick Cousot]] | |||
}} | |||
</noinclude> | |||
Latest revision as of 00:33, 14 January 2023
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.
It would be very useful to also read up on Dana Scott's paper[1] on Outline of a Mathematical Theory of Computation. Patrick Cousot also wrote a textbook[2] on this subject.
Related Pages
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
- ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press.
Related Pages
Authored by:Patrick Cousot