Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
From MaRDI portal
Publication:3591078
DOI10.1007/978-3-540-71410-1_5zbMath1196.68033OpenAlexW1593114159MaRDI QIDQ3591078
Stephen-John Craig, Dan Elphick, Michael Leuschel
Publication date: 10 September 2007
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/262651/1/watch_lopstr06_final.pdf
Related Items (3)
Fast offline partial evaluation of logic programs ⋮ Fast Offline Partial Evaluation of Large Logic Programs ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms
Uses Software
This page was built for publication: Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques