Towards Just-In-Time Partial Evaluation of Prolog

DOI10.1007/978-3-642-12592-8_12zbMath1284.68111OpenAlexW2106716501MaRDI QIDQ3558295

Michael Leuschel, Carl Friedrich Bolz, Armin Rigo

Publication date: 4 May 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-12592-8_12

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ECCE

This page was built for publication: Towards Just-In-Time Partial Evaluation of Prolog