Supporting Transformations for the Partial Evaluation of Logic Programs

DOI10.1093/logcom/3.5.469zbMath0802.68027OpenAlexW2118383426MaRDI QIDQ4286220

K. Benkerimi, Patricia M. Hill

Publication date: 11 December 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.5.469

zbMATH Keywords

program transformationpartial evaluationlogic programmingspecificationunfoldingmeta-interpreters

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Sound and complete partial deduction with unfolding based on well-founded measures

This page was built for publication: Supporting Transformations for the Partial Evaluation of Logic Programs