Difference between revisions of "Paper/Abstract Interpretation"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
|height=800 | |height=800 | ||
}} | }} | ||
=Related Pages= | |||
{{#ask: | |||
[[Category:{{PAGENAME}}]] | |||
[[Category:Semantics]] | |||
[[Category:Data Science]] | |||
|format=list | |||
}} | |||
[[Category:Abstract Interpretation]] | |||
[[Category:Semantics]] | |||
[[Category:Data Science]] | |||
</noinclude> | </noinclude> | ||
Revision as of 04:42, 4 January 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.