Efficient Local Unfolding with Ancestor Stacks for Full Prolog

DOI10.1007/11506676_10zbMath1134.68335OpenAlexW1590036030MaRDI QIDQ5458800

Elvira Albert, Manuel V. Hermenegildo, Germán Puebla

Publication date: 24 April 2008

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

Full work available at URL: https://doi.org/10.1007/11506676_10

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (5)

Oracle-Based Partial Evaluation ⋮ Type-based homeomorphic embedding for online termination ⋮ Test Data Generation of Bytecode by CLP Partial Evaluation ⋮ Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation ⋮ A Study on the Practicality of Poly-Controlled Partial Evaluation

Uses Software

• ECCE
• Ciao
• CiaoPP

This page was built for publication: Efficient Local Unfolding with Ancestor Stacks for Full Prolog