Efficient Negation Using Abstract Interpretation
From MaRDI portal
Publication:2996186
DOI10.1007/3-540-45653-8_33zbMath1275.68049MaRDI QIDQ2996186
Susana Muñoz, Juan José Moreno, Manuel V. Hermenegildo
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14377/
program analysis; constraint logic programming; abstract interpretation; negation in logic programming; implementations of logic programming
68N17: Logic programming
Related Items