| Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints P Cousot, R Cousot Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of …, 1977 | 8911 | 1977 |
| Automatic discovery of linear restraints among variables of a program P Cousot, N Halbwachs Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 1978 | 2175 | 1978 |
| Systematic design of program analysis frameworks P Cousot, R Cousot Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979 | 2101 | 1979 |
| Abstract interpretation frameworks P Cousot, R Cousot Journal of logic and computation 2 (4), 511-547, 1992 | 1023 | 1992 |
| A static analyzer for large safety-critical software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003 | 929 | 2003 |
| Abstract interpretation and application to logic programs P Cousot, R Cousot The Journal of Logic Programming 13 (2-3), 103-179, 1992 | 915 | 1992 |
| Static determination of dynamic properties of programs P Cousot, R Cousot Proceedings of the 2nd International Symposium on Programming, Paris, France …, 1976 | 781 | 1976 |
| The ASTRÉE analyzer P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 713 | 2005 |
| Comparing the Galois connection and widening/narrowing approaches to abstract interpretation P Cousot, R Cousot Programming Language Implementation and Logic Programming: 4th International …, 1992 | 640 | 1992 |
| Abstract interpretation P Cousot ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996 | 380 | 1996 |
| Semantic foundations of program analysis P Cousot Program flow analysis: theory and applications, 303-342, 1981 | 339 | 1981 |
| Constructive versions of Tarski’s fixed point theorems P Cousot, R Cousot Pacific journal of Mathematics 82 (1), 43-57, 1979 | 314 | 1979 |
| Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... The essence of computation: complexity, analysis, transformation, 85-108, 2002 | 303 | 2002 |
| Inductive definitions, semantics and abstract interpretations P Cousot, R Cousot Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 277 | 1992 |
| Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming P Cousot Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 268 | 2005 |
| Types as abstract interpretations P Cousot Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 268 | 1997 |
| Constructive design of a hierarchy of semantics of a transition system by abstract interpretation P Cousot Theoretical Computer Science 277 (1-2), 47-103, 2002 | 248 | 2002 |
| Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes P Cousot Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier …, 1978 | 247 | 1978 |
| Static determination of dynamic properties of recursive procedures P Cousot, R Cousot IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977 | 245 | 1977 |
| Modular static program analysis P Cousot, R Cousot Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 2002 | 243 | 2002 |
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
