Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish (US)
Pages (from-to)238-252
Number of pages15
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
VolumePart F130756
StatePublished - Jan 1 1977
Event4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977 - Los Angeles, United States
Duration: Jan 17 1977Jan 19 1977

ASJC Scopus subject areas

  • Software

Cite this