@inproceedings{512973,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
 booktitle = {POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
 year = {1977},
 pages = {238--252},
 location = {Los Angeles, California},
 doi = {http://doi.acm.org/10.1145/512950.512973},
 publisher = {ACM},
 address = {New York, NY, USA},
 }