Efficient Local Unfolding with Ancestor Stacks for Full Prolog
From MaRDI portal
Publication:5458800
DOI10.1007/11506676_10zbMath1134.68335MaRDI 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
Related Items
Oracle-Based Partial Evaluation, Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation, Type-based homeomorphic embedding for online termination, A Study on the Practicality of Poly-Controlled Partial Evaluation, Test Data Generation of Bytecode by CLP Partial Evaluation
Uses Software