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

Patrick Cousot; Radhia Cousot

doi:10.1145/512950.512973

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

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	238-252
Number of pages	15
Journal	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Volume	Part F130756
DOIs	https://doi.org/10.1145/512950.512973
State	Published - Jan 1 1977
Event	4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977 - Los Angeles, United States Duration: Jan 17 1977 → Jan 19 1977

ASJC Scopus subject areas

Software

Access to Document

10.1145/512950.512973

Cite this

Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints. / Cousot, Patrick; Cousot, Radhia.
In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. Part F130756, 01.01.1977, p. 238-252.

Research output: Contribution to journal › Conference article › peer-review

@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",

note = "Funding Information: de Recherche no 7. work was supported 75-035 and 75-160.; 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977 ; Conference date: 17-01-1977 Through 19-01-1977",

year = "1977",

month = jan,

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 - 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977

AU - Cousot, Patrick

AU - Cousot, Radhia

N1 - Funding Information: de Recherche no 7. work was supported 75-035 and 75-160.

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

AN - SCOPUS:85050550846

SN - 0730-8566

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

Y2 - 17 January 1977 through 19 January 1977

ER -

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

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this