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
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints [link]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