Efficient Negation Using Abstract Interpretation

DOI10.1007/3-540-45653-8_33zbMath1275.68049OpenAlexW1605977342MaRDI 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/

zbMATH Keywords

program analysisconstraint logic programmingabstract interpretationnegation in logic programmingimplementations of logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Implementing constructive intensional negation ⋮ Extending Constructive Logic Negation with Types

This page was built for publication: Efficient Negation Using Abstract Interpretation