Abstract interpretation

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

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationConference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA
PublisherACM
Pages238-252
StatePublished - 1977

Cite this

Cousot, P., & Cousot, R. (1977). Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA (pp. 238-252). ACM.

Abstract interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints. / Cousot, Patrick; Cousot, Radhia.

Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, 1977. p. 238-252.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P & Cousot, R 1977, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. in Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, pp. 238-252.
Cousot P, Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM. 1977. p. 238-252
Cousot, Patrick ; Cousot, Radhia. / Abstract interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, 1977. pp. 238-252
@inproceedings{8dc1918caf6a462d8af7c5a979333b50,
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",
language = "English (US)",
pages = "238--252",
booktitle = "Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA",
publisher = "ACM",

}

TY - GEN

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

Y1 - 1977

M3 - Conference contribution

SP - 238

EP - 252

BT - Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA

PB - ACM

ER -