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

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

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
92 Making abstract interpretations complete – R Giacobazzi, F Ranzato, F Scozzari - 2000
91 Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes (in French). Thèse d’ État ès sciences mathématiques, Université Joseph Fourier – Patrick Cousot - 1978
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
98 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
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
192 Verification by abstract interpretation – Patrick Cousot - 2003
1269 Program slicing – M Weiser - 1984
110 Evolutionary test environment for automatic structural testing – J Wegener, A Baresel, H Sthamer
88 Semantic foundations of program analysis – P Cousot - 1981
28 Refining and compressing abstract domains – Roberto Giacobazzi, Francesco Ranzato - 1997
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1173 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
93 Standard for Binary Floating-Point Arithmetic", Standard 754-1985 – IEEE IEEE - 1985
37 Complementation in Abstract Interpretation – Agostino Cortesi, Roberto Giacobazzi, Francesco Ranzato, et al.