Systematic Design of Program Transformation Frameworks by Abstract Interpretation (2002)

by Patrick Cousot , Radhia Cousot
Citations:57 - 5 self

Documents Related by Co-Citation

1889 R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points – P Cousot, Cousot - 1977
636 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
93 Making abstract interpretations complete – Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
90 Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique des programmes. Université Scientifique et Médicale de Grenoble – P Cousot - 1978
238 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
99 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation – Patrick Cousot - 2002
162 Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1992
53 Incompleteness, Counterexamples and Refinements in Abstract Model-Checking – Roberto Giacobazzi, Elisa Quintarelli - 2001
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
195 Verification by abstract interpretation – Patrick Cousot - 2003
90 Semantic foundations of program analysis – P Cousot - 1981
1281 Program slicing – M Weiser - 1984
112 Evolutionary Test Environment for Automatic Structural Testing – J Wegener, A Baresel, H Sthamer - 2001
29 Refining and compressing abstract domains – Roberto Giacobazzi, Francesco Ranzato - 1997
575 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1183 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
11 Semantics of roundoff error propagation in finite precision computations – Matthieu Martel, Cea Recherche Technologique - 2006
94 Standard for binary floating-point arithmetic – IEEE IEEE - 1985
39 Complementation in Abstract Interpretation – Agostino Cortesi, Roberto Giacobazzi, Francesco Ranzato, et al.