The quotient of an abstract interpretation

DOI10.1016/S0304-3975(97)00137-0zbMath0902.68030OpenAlexW2029950390MaRDI QIDQ1128983

Agostino Cortesi, William Winsborough, Gilberto File

Publication date: 13 August 1998

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00137-0

zbMATH Keywords

data flowProlog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Deriving escape analysis by abstract interpretation ⋮ Widening and narrowing operators for abstract interpretation ⋮ Completeness of string analysis for dynamic languages ⋮ On the interaction between sharing and linearity ⋮ Set-sharing is redundant for pair-sharing ⋮ Finite-tree analysis for constraint logic-based languages

Cites Work

• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Frameworks for abstract interpretation
• Evaluation of the domain prop
• Optimal groundness analysis using propositional logic
• On derived dependencies and connected databases
• Abstract interpretation and application to logic programs
• Static analysis of logic programs for independent and parallelism