Paper/Abstract Interpretation

From PKC
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.

It would be very useful to also read up on Dana Scott's paper[1] on Outline of a Mathematical Theory of Computation. Patrick Cousot also wrote a textbook[2] on this subject.

Related Pages

References

  1. ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group. 
  2. ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press. 

Related Pages

Authored by:Patrick Cousot


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