Systematic design of program analysis frameworks (1979)

Cached

Download Links

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

Active Bibliography

Topological Aspects of Regular Languages – Nicholas Pippenger - 1994
On The Least Complete Extension Of A – Complete Subsemilattice Roberto, Roberto Giacobazzi, Francesco Ranzato
3 Knowledge Representation and Rough Sets – Jouni Järvinen - 1999
1 A Counterexample to a Result Concerning Closure Operators – Francesco Ranzato - 2001
EMBEDDING SOME FAMILIES OF FUZZY RELATIONS IN THE CLASS OF FUZZY CONSEQUENCE OPERATORS. – Jorge Elorza, Pedro Burillo
CLOSURE OPERATORS IN FUZZY SET THEORY – Loredana Biacino, Giangiacomo Gerla - 1998
16 Functional Dependencies and Moore-Set Completions of Abstract . . . – Roberto Giacobazzi, Francesco Ranzato - 1995
10 Compositional Optimization of Disjunctive Abstract Interpretations – Roberto Giacobazzi, Francesco Ranzato - 1996
As an earful of Patsy Cline. – unknown authors
CONSTRUCTIVE VERSIONS OF TARSKΓS FIXED POINT THEOREMS – Patrick Cousot, Radhia Cousot - 1979
3 Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent Systems – Klaus Dohmen - 2000
An Algorithm for Affine Approximation of Binary Decision Diagrams – Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
27 Set-Sharing is Redundant for Pair-Sharing – Roberto Bagnara, Patricia M. Hill, Enea Zaffanella - 1997
As an earful of Patsy Cline. – unknown authors
38 Generalized Semantics and Abstract Interpretation for Constraint Logic Programs – Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi - 1995
46 Constructive Versions Of Tarski's Fixed Point Theorems – Patrick Cousot, Radhia Cousot - 1979
13 Abstracting Synchronization in Concurrent Constraint Programming – Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi - 1994
5 Abstract interpretation of algebraic polynomial systems (Extended Abstract) – Patrick Cousot, Radhia Cousot - 1997
7 On Generalized Constraints and Certificates – Lisa Hellerstein