Παρακολούθηση
Patrick Cousot
Patrick Cousot
Professor of Computer Science, CIMS, New York University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cims.nyu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
89221977
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
21751978
Systematic design of program analysis frameworks
P Cousot, R Cousot
Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979
21021979
Abstract interpretation frameworks
P Cousot, R Cousot
Journal of logic and computation 2 (4), 511-547, 1992
10231992
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
9302003
Abstract interpretation and application to logic programs
P Cousot, R Cousot
The Journal of Logic Programming 13 (2-3), 103-179, 1992
9161992
Static determination of dynamic properties of programs
P Cousot, R Cousot
Proceedings of the 2nd International Symposium on Programming, Paris, France …, 1976
7811976
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
7132005
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
P Cousot, R Cousot
Programming Language Implementation and Logic Programming: 4th International …, 1992
6421992
Abstract interpretation
P Cousot
ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996
3801996
Semantic foundations of program analysis
P Cousot
Program flow analysis: theory and applications, 303-342, 1981
3391981
Constructive versions of Tarski’s fixed point theorems
P Cousot, R Cousot
Pacific journal of Mathematics 82 (1), 43-57, 1979
3141979
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
3052002
Inductive definitions, semantics and abstract interpretations
P Cousot, R Cousot
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
2771992
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming
P Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
2682005
Types as abstract interpretations
P Cousot
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
2681997
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
2482002
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
2471978
Static determination of dynamic properties of recursive procedures
P Cousot, R Cousot
IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977
2451977
Modular static program analysis
P Cousot, R Cousot
Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 2002
2442002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20