@inproceedings{224199,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Formal language, grammar and set-constraint-based program analysis by abstract interpretation},
 booktitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture},
 year = {1995},
 isbn = {0-89791-719-7},
 pages = {170--181},
 location = {La Jolla, California, United States},
 doi = {http://doi.acm.org/10.1145/224164.224199},
 publisher = {ACM},
 address = {New York, NY, USA},
 }