Вы здесь

Cousot R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Abstract Interpretation Framework 1992 Cousot P., Cousot R. Ecole Polytechnique 23.10.1992
П Abstract Interpretation and Application to Logic Programs 1992 Cousot P., Cousot R. Ecole Polytechnique 23.10.1992
СТ An Abstract Interpretation-Based Framework for Software Watermarking 2004 Cousot P., Cousot R. POPL 2004 09.06.2004
СТ Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation 1992 Cousot P., Cousot R. Lecture Notes in Computer Science 13.10.1992
СТ Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991
СТ 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
СТ 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
СТ 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
СТ Modular Static Program Analysis 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 27.04.2002
СТ On Abstraction in Software Verification 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 31.08.2002
СТ Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991
СТ 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
СТ Verification of Embedded Software: Problems and Perspectives 2001 Cousot P., Cousot R. Lecture Notes in Computer Science 03.11.2001