Systematic design of program analysis frameworks (1979)

Cached

Download Links

by Patrick Cousot , Radhia Cousot
Venue:In 6th POPL
Citations:627 - 49 self

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
286 Abstract interpretation and application to logic programs – Patrick Cousot, Radhia Cousot - 1992
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
88 Semantic foundations of program analysis – P Cousot - 1981
229 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
162 Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1992
73 A Storeless Model of Aliasing and Its Abstractions Using Finite Representations of Right-regular Equivalence Relations – A Deutsch - 1992
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
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
308 A unified approach to global program optimization – Gary A. Kildall - 1973
137 Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints – P Cousot, R Cousot - 1977
70 S.: Strictness analysis for higher-order functions – G L Burn, C L Hankin, Abramsky - 1986
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
35 TVLA: A framework for Kleene based static analysis – T Lev-Ami, M Sagiv - 2000
93 R.: Static determination of dynamic properties of recursive procedures – P Cousot, Cousot - 1977