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

Bibtex entry :

@inproceedings { CousotCousot77-1,
    author = { Cousot, P{.} and Cousot, R{.} },
    title = { Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints },
    pages = { 238--252 },
    booktitle = { 4th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL'77) },
    address = { California },
    year = { 1977 },
}