Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
From MaRDI portal
Publication:5302883
DOI10.1007/11680093_8zbMath1156.68324OpenAlexW1522598964MaRDI QIDQ5302883
John P. Gallagher, Germán Puebla, Elvira Albert
Publication date: 15 January 2009
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://rucforsk.ruc.dk/ws/files/264563/albertpueblagallagher.pdf
Related Items (6)
Fast offline partial evaluation of logic programs ⋮ Oracle-Based Partial Evaluation ⋮ Test case generation for object-oriented imperative languages in CLP ⋮ Fast Offline Partial Evaluation of Large Logic Programs ⋮ Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation ⋮ A Study on the Practicality of Poly-Controlled Partial Evaluation
Uses Software
This page was built for publication: Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
