Paper/Abstract Interpretation

From PKC

Revision as of 09:03, 7 September 2021 by Benkoo (talk | contribs) (Created page with "{{cite book |first1=Patrick |last1=Cousot |first2=Radhia |last2=Cousot |title=Abstract interpretation: a unified lattice model for static analysis of programs by construction...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Cousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4th POPL. local page: ACM Press. p. 238-252.

Retrieved from "https://pkc.pub/index.php?title=Paper/Abstract_Interpretation&oldid=12091"