Difference between revisions of "Book/Principles of Abstract Interpretation"
Jump to navigation
Jump to search
m (Benkoo moved page Book/Principle of Abstract Interpretation to Book/Principles of Abstract Interpretation) |
|||
| Line 10: | Line 10: | ||
<noinclude> | <noinclude> | ||
The seminal paper on Abstract Interpretation is here<ref>{{:Paper/Abstract Interpretation}}</ref>. | The seminal paper on [[Abstract Interpretation]] is here<ref>{{:Paper/Abstract Interpretation}}</ref>. | ||
=References= | =References= | ||
<references/> | <references/> | ||
</noinclude> | </noinclude> | ||
Revision as of 12:30, 16 December 2021
Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press.
The seminal paper on Abstract Interpretation is here[1].
References
- ↑ 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.