Difference between revisions of "Book/Principles of Abstract Interpretation"
Jump to navigation
Jump to search
(Created page with "{{cite book |first=Patrick |last=Cousot |title=Principles of Abstract Interpretation |url=https://mitpress.mit.edu/books/principles-abstract-interpretation |publisher=ACM Pres...") |
|||
| Line 6: | Line 6: | ||
|publisher=ACM Press | |publisher=ACM Press | ||
|location=[[Book/Principles of Abstract Interpretation|local page]] | |location=[[Book/Principles of Abstract Interpretation|local page]] | ||
|date=Sep | |date=Sep 2021 | ||
}} | }} | ||
Revision as of 12:29, 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.