Optimal domains for disjunctive abstract interpretation
From MaRDI portal
Publication:1818325
DOI10.1016/S0167-6423(97)00034-8zbMath0942.68020MaRDI QIDQ1818325
Francesco Ranzato, Roberto Giacobazzi
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
Why does Astrée scale up?, Refining and compressing abstract domains, Complete Abstractions and Subclassical Modal Logics, Transforming Abstract Interpretations by Abstract Interpretation, The powerset operator on abstract interpretations, Linear Absolute Value Relation Analysis, Correctness kernels of abstract interpretations, Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta., Transfer Function Synthesis without Quantifier Elimination, Weakening additivity in adjoining closures, Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, The reduced relative power operation on abstract domains, An efficient simulation algorithm based on abstract interpretation, Closures on CPOs form complete lattices
