Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Cousot, P. & Cousot, R. Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77, January, 1977. Publisher: ACM Press Place: New York, New York, USA
Paper doi bibtex @article{cousot_abstract_1977,
title = {Abstract interpretation: {A} unified lattice model for static analysis of programs by construction or approximation of fixpoints},
url = {http://dl.acm.org/citation.cfm?id=512950.512973},
doi = {10/dns428},
urldate = {2015-04-16},
journal = {Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77},
author = {Cousot, Patrick and Cousot, Radhia},
month = jan,
year = {1977},
note = {Publisher: ACM Press
Place: New York, New York, USA},
pages = {238--252}
}
Downloads: 0
{"_id":"yoxbLGKLovEAThNNH","bibbaseid":"cousot-cousot-abstractinterpretationaunifiedlatticemodelforstaticanalysisofprogramsbyconstructionorapproximationoffixpoints-1977","authorIDs":[],"author_short":["Cousot, P.","Cousot, R."],"bibdata":{"bibtype":"article","type":"article","title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","url":"http://dl.acm.org/citation.cfm?id=512950.512973","doi":"10/dns428","urldate":"2015-04-16","journal":"Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77","author":[{"propositions":[],"lastnames":["Cousot"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":[],"lastnames":["Cousot"],"firstnames":["Radhia"],"suffixes":[]}],"month":"January","year":"1977","note":"Publisher: ACM Press Place: New York, New York, USA","pages":"238–252","bibtex":"@article{cousot_abstract_1977,\n\ttitle = {Abstract interpretation: {A} unified lattice model for static analysis of programs by construction or approximation of fixpoints},\n\turl = {http://dl.acm.org/citation.cfm?id=512950.512973},\n\tdoi = {10/dns428},\n\turldate = {2015-04-16},\n\tjournal = {Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77},\n\tauthor = {Cousot, Patrick and Cousot, Radhia},\n\tmonth = jan,\n\tyear = {1977},\n\tnote = {Publisher: ACM Press\nPlace: New York, New York, USA},\n\tpages = {238--252}\n}\n\n","author_short":["Cousot, P.","Cousot, R."],"key":"cousot_abstract_1977","id":"cousot_abstract_1977","bibbaseid":"cousot-cousot-abstractinterpretationaunifiedlatticemodelforstaticanalysisofprogramsbyconstructionorapproximationoffixpoints-1977","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=512950.512973"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.793Z","downloads":0,"keywords":[],"search_terms":["abstract","interpretation","unified","lattice","model","static","analysis","programs","construction","approximation","fixpoints","cousot","cousot"],"title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","year":1977,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}