“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
From MaRDI portal
Publication:4593956
DOI10.1007/3-540-60922-9_41zbMath1379.68065MaRDI QIDQ4593956
Publication date: 16 November 2017
Published in: STACS 96 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60922-9_41
Related Items
Refining and compressing abstract domains, Transforming semantics by abstract interpretation, Abstract interpretation of resolution-based semantics, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, The reduced relative power operation on abstract domains, Logical optimality of groundness analysis, An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations., A theory of observables for logic programs, On collecting semantics for program analysis