Compositional separate modular static analysis of programs by abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, l'Aquila, Italy, August 6-12 2001
PublisherScuola Superiore G. Reiss Romoli
StatePublished - 2001

Publication series

NameSSGRR 2001 Compact Disk

Cite this

Cousot, P., & Cousot, R. (2001). Compositional separate modular static analysis of programs by abstract interpretation. In Proceedings of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, l'Aquila, Italy, August 6-12 2001 (SSGRR 2001 Compact Disk). Scuola Superiore G. Reiss Romoli.