Difference between revisions of "Paper/Abstract Interpretation"
Jump to navigation
Jump to search
| (One intermediate revision by one other user not shown) | |||
| Line 30: | Line 30: | ||
}} | }} | ||
{{PagePostfix | |||
[[ | |category_csd=Semantics,Abstract Interpretation,Data Science,Lattice,Poset | ||
|semantic_labels=Authored by:[[Authored by::Patrick Cousot]] | |||
}} | |||
</noinclude> | </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