Paper/Abstract Interpretation

From PKC
Revision as of 04:42, 4 January 2022 by Benkoo (talk | contribs)
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 (PDF). 4th POPL. local page: ACM Press. p. 238-252. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

Related Pages

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