@inproceedings{567778,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Systematic design of program analysis frameworks},
 booktitle = {POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
 year = {1979},
 pages = {269--282},
 location = {San Antonio, Texas},
 doi = {http://doi.acm.org/10.1145/567752.567778},
 publisher = {ACM},
 address = {New York, NY, USA},
 }