Supporting Transformations for the Partial Evaluation of Logic Programs
From MaRDI portal
Publication:4286220
DOI10.1093/logcom/3.5.469zbMath0802.68027MaRDI QIDQ4286220
Patricia M. Hill, K. Benkerimi
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
program transformation; partial evaluation; logic programming; specification; unfolding; meta-interpreters
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items