Making abstract interpretations complete

DOI10.1145/333979.333989zbMath1133.68370MaRDI QIDQ5385340

Francesca Scozzari, Roberto Giacobazzi, Francesco Ranzato

Publication date: 5 May 2008

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/333979.333989

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Semantics-based software watermarking by abstract interpretation, What You Lose is What You Leak: Information Leakage in Declassification Policies, Extracting Program Logics From Abstract Interpretations Defined by Logical Relations, Abstract Program Slicing, Deriving Bisimulations by Simplifying Partitions, Internal and External Logics of Abstract Interpretations, Control-flow analysis of function calls and returns by abstract interpretation, Making abstract models complete, Observational Completeness on Abstract Interpretation, Inverse-limit and topological aspects of abstract interpretation, An abstract interpretation framework for genotype elimination algorithms, Abstract interpretation of database query languages, Maximal incompleteness as obfuscation potency, Why does Astrée scale up?, Generalizing the Paige-Tarjan algorithm by abstract interpretation, 3-valued abstraction: More precision at less cost, Using abstract interpretation to add type checking for interfaces in Java bytecode verification, Code obfuscation against abstraction refinement attacks, Lattice-based refinement in bounded model checking, Abstract domains for type juggling, Abstracting Nash equilibria of supermodular games, A theory of observables for logic programs, On collecting semantics for program analysis, Correctness kernels of abstract interpretations, Unveiling metamorphism by abstract interpretation of code properties, Combining search space partition and abstraction for LTL model checking, Incompleteness of states w.r.t. traces in model checking, Weakening additivity in adjoining closures, A semantic framework for the abstract model checking of tccp programs, Abstract Interpretation From a Denotational-semantics Perspective, Complete Abstractions and Subclassical Modal Logics, An abstract interpretation-based model for safety semantics, Cooperative Query Answering by Abstract Interpretation, Modelling declassification policies using abstract domain completeness, Optimality in goal-dependent analysis of Sharing, Abstract Interpretation from a Topological Perspective, Transforming Abstract Interpretations by Abstract Interpretation