Complementing logic program semantics
From MaRDI portal
Publication:2956725
DOI10.1007/3-540-61735-3_16zbMath1355.68037MaRDI QIDQ2956725
Roberto Giacobazzi, Francesco Ranzato
Publication date: 19 January 2017
Published in: Algebraic and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61735-3_16
Related Items
Transforming semantics by abstract interpretation, Abstract interpretation of resolution-based semantics, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, The powerset operator on abstract interpretations