The reduced relative power operation on abstract domains

DOI10.1016/S0304-3975(98)00194-7zbMath0914.68129MaRDI QIDQ1285656

Francesco Ranzato, Roberto Giacobazzi

Publication date: 28 April 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationabstract domainlogic program analysis and semanticsreduced relative powerseparated abstract domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Pair-independence and freeness analysis through linear refinement. ⋮ Conjunctive Abstract Interpretation Using Paramodulation ⋮ Transforming semantics by abstract interpretation ⋮ Widening and narrowing operators for abstract interpretation ⋮ Abstract interpretation of resolution-based semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The tensor product of continuous lattices
• Fully abstract compositional semantics for an algebra of logic programs
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Two-level semantics and abstract interpretation
• Declarative modeling of the operational behavior of logic languages
• Weak relative pseudo-complements of closure operators
• A compositional semantics for logic programs
• The tensor product in Wadler's analysis of lists
• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
• Logical optimality of groundness analysis
• Two classes of Boolean functions for dependency analysis
• Optimal domains for disjunctive abstract interpretation
• Observable behaviors and equivalences of logic programs
• The powerset operator on abstract interpretations
• The structure of Galois connections
• The closure operators of a lattice
• On derived dependencies and connected databases
• Abstract interpretation and application to logic programs
• The Semantics of Predicate Logic as a Programming Language
• Quantales, observational logic and process semantics
• The s-semantics approach: Theory and applications
• The meaning of negative premises in transition system specifications
• Refining and compressing abstract domains
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• Resultant semantics for prolog

This page was built for publication: The reduced relative power operation on abstract domains