Compiling control as offline partial deduction
From MaRDI portal
Publication:6085978
DOI10.1007/978-3-030-13838-7_7zbMath1524.68057arXiv1808.05360MaRDI QIDQ6085978
Publication date: 9 November 2023
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1808.05360
Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Logic programming (68N17)