Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs

DOI10.1007/11680093_6zbMath1156.68328OpenAlexW1566341519MaRDI QIDQ5302881

Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/14354/

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Uses Software

• ECCE

This page was built for publication: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs