%0 Conference Paper %1 conf/popl/CousotC77 %A Cousot, Patrick %A Cousot, Radhia %B POPL %D 1977 %E Graham, Robert M. %E Harrison, Michael A. %E Sethi, Ravi %I ACM %K dblp %P 238-252 %T Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. %U http://dblp.uni-trier.de/db/conf/popl/popl77.html#CousotC77

@inproceedings{conf/popl/CousotC77, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cousot, Patrick and Cousot, Radhia}, biburl = {https://www.bibsonomy.org/bibtex/2cb73395b35c950c2db527e2752bedf15/dblp}, booktitle = {POPL}, cdrom = {POPL/00001447.PDF}, crossref = {conf/popl/77}, editor = {Graham, Robert M. and Harrison, Michael A. and Sethi, Ravi}, ee = {https://doi.org/10.1145/512950.512973}, interhash = {d4172b19832656efd67558ed1a80ccc4}, intrahash = {cb73395b35c950c2db527e2752bedf15}, keywords = {dblp}, pages = {238-252}, publisher = {ACM}, timestamp = {2018-11-07T16:48:19.000+0100}, title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl77.html#CousotC77}, year = 1977 }