Oracle-Based Partial Evaluation

DOI10.1016/j.entcs.2008.11.024zbMath1286.68055OpenAlexW2157289835MaRDI QIDQ5415668

Germán Puebla, Claudio Ochoa

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.11.024

zbMATH Keywords

program transformationpartial evaluationlogic programmingresource-aware specialization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Logic program specialisation through partial deduction: Control issues
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog

This page was built for publication: Oracle-Based Partial Evaluation