@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}
}

{"_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"]}