Difference between revisions of "Paper/Abstract Interpretation"
Jump to navigation
Jump to search
| Line 32: | Line 32: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
[[Category:Data Science]] | [[Category:Data Science]] | ||
[[Category:Lattice]] | |||
[[Category:Poset]] | |||
</noinclude> | </noinclude> | ||
Revision as of 10:22, 23 February 2022
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.
Related Pages
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.