Patrick Cousot

Patrick Cousot

New York University - New York / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 834394
person_outline Patrick Cousot's MOST POPULAR ARTICLES
1-) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsP Cousot, R CousotProceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of …, 197787301977
2-) Automatic discovery of linear restraints among variables of a programP Cousot, N HalbwachsProceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 197821141978
3-) Systematic design of program analysis frameworksP Cousot, R CousotProceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 197920501979
4-) Abstract interpretation frameworksP Cousot, R CousotJournal of logic and computation 2 (4), 511-547, 199210591992
5-) A static analyzer for large safety-critical softwareB Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 20039562003