Вы здесь

Cousot P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Verification Grand Challenge and Abstract Interpretation 2008 Cousot P. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
СТ Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming 2005 Cousot P. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005
СТ An Abstract Interpretation-Based Framework for Software Watermarking 2004 Cousot P., Cousot R. POPL 2004 09.06.2004
СТ Verification by Abstract Interpretation 2003 Cousot P. Lecture Notes in Computer Science 26.03.2004
СТ Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software 2002 Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. Lecture Notes in Computer Science 14.02.2003
СТ Automatic Verification by Abstract Interpretation 2003 Cousot P. Lecture Notes in Computer Science 31.01.2003
СТ On Abstraction in Software Verification 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 31.08.2002
СТ Modular Static Program Analysis 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 27.04.2002
СТ Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations 2001 Cousot P. Lecture Notes in Computer Science 08.11.2001
СТ Verification of Embedded Software: Problems and Perspectives 2001 Cousot P., Cousot R. Lecture Notes in Computer Science 03.11.2001
СТ Abstract Interpretation Based Formal Methods and Future Challenges 2001 Cousot P. Lecture Notes in Computer Science 04.04.2001
СТ Temporal Abstract Interpretation 2000 Cousot P., Cousot R. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Program Analysis: The Abstract Interpretation Perspective 1997 Cousot P. SIGPLAN Notices 15.04.1998
СТ Methods and Logics for Proving Programs 1994 Cousot P. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form 1995 Cousot P., Cousot R. Lecture Notes in Computer Science 27.07.1995
СТ Automatic Discovery of Linear Restraints Among Variables of a Program 1978 Cousot P., Halbwachs N. Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages 06.04.1994
СТ Galois Connection Based Abstract Interpretations for Strictness Analysis 1993 Cousot P., Cousot R. Lecture Notes in Computer Science 20.11.1993
П Inductive Definitions, Semantics and Abstract Interpretation 1991 Cousot P., Cousot R. Ecole Polytechnique Theoretical Computer Science 23.10.1992
П Abstract Interpretation and Application to Logic Programs 1992 Cousot P., Cousot R. Ecole Polytechnique 23.10.1992
П Abstract Interpretation Framework 1992 Cousot P., Cousot R. Ecole Polytechnique 23.10.1992
СТ Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation 1992 Cousot P., Cousot R. Lecture Notes in Computer Science 13.10.1992
СТ Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991
СТ Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991

Редактор: