Book/Principles of Abstract Interpretation

From PKC
Revision as of 12:29, 16 December 2021 by Benkoo (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Cousot, Patrick (Sep. 2021). Principles of Abstract Interpretation. local page: ACM Press.  Check date values in: |date= (help)


The seminal paper on Abstract Interpretation is here[1].

References

  1. ↑ 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. 
Retrieved from "https://pkc.pub/index.php?title=Book/Principles_of_Abstract_Interpretation&oldid=19671"