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 article

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
DOIs
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

Fingerprint

Static analysis

ASJC Scopus subject areas

  • Software

Cite this

@article{b0d6a8e9fc5148a4a23d3cdbedcda7f0,
title = "Abstract interpretation: {"}A{"} unified lattice model for static analysis of programs by construction or approximation of fixpoints",
author = "Patrick Cousot and Radhia Cousot",
year = "1977",
month = "1",
day = "1",
doi = "10.1145/512950.512973",
language = "English (US)",
volume = "Part F130756",
pages = "238--252",
journal = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
issn = "0730-8566",
publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

T1 - Abstract interpretation

T2 - "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977/1/1

Y1 - 1977/1/1

UR - http://www.scopus.com/inward/record.url?scp=85050550846&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85050550846&partnerID=8YFLogxK

U2 - 10.1145/512950.512973

DO - 10.1145/512950.512973

M3 - Conference article

VL - Part F130756

SP - 238

EP - 252

JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SN - 0730-8566

ER -