The quotient of an abstract interpretation
From MaRDI portal
Publication:1128983
DOI10.1016/S0304-3975(97)00137-0zbMath0902.68030MaRDI QIDQ1128983
Agostino Cortesi, Gilberto File, William Winsborough
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N17: Logic programming
Related Items
Finite-tree analysis for constraint logic-based languages, Deriving escape analysis by abstract interpretation, Set-sharing is redundant for pair-sharing, Widening and narrowing operators for abstract interpretation, On the interaction between sharing and linearity
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