Refining and compressing abstract domains

DOI10.1007/3-540-63165-8_230MaRDI QIDQ4572005zbMATH OpenOpenAlexFDO

Authors Roberto Giacobazzi, Francesco Ranzato

Publication date 4 July 2018

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63165-8_230

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1953028
• The powerset operator on abstract interpretations
• Making abstract domains condensing
• Refining abstract interpretations
• Optimal domains for disjunctive abstract interpretation

Cites work

• Abstract interpretation and application to logic programs
• Combinations of abstract domains for logic programming: Open product and generic pattern construction
• scientific article; zbMATH DE number 3942992 (Why is no real title available?)
• On the power of abstract interpretation
• Optimal domains for disjunctive abstract interpretation
• Systematic design of program transformation frameworks by abstract interpretation
• The closure operators of a lattice
• Weak relative pseudo-complements of closure operators
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics

Cited in

(20)

• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• The reduced relative power operation on abstract domains
• Optimal domains for disjunctive abstract interpretation
• Pair-independence and freeness analysis through linear refinement.
• On multi-language abstraction. Towards a static analysis of multi-language programs
• Correctness kernels of abstract interpretations
• Weakening additivity in adjoining closures
• An abstract interpretation-based model for safety semantics
• Transforming Abstract Interpretations by Abstract Interpretation
• scientific article; zbMATH DE number 1953028 (Why is no real title available?)
• Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
• Refining and compressing abstract model checking
• A survey on product operators in abstract interpretation
• Maximal incompleteness as obfuscation potency
• Deriving Bisimulations by Simplifying Partitions
• Transforming semantics by abstract interpretation
• Making abstract models complete
• Affine Loop Invariant Generation via Matrix Algebra
• Deriving escape analysis by abstract interpretation
• Generalizing the Paige-Tarjan algorithm by abstract interpretation

This page was built for publication: Refining and compressing abstract domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4572005)