Partial evaluation of metaprograms in a ``multiple worlds logic language
From MaRDI portal
Publication:1108779
DOI10.1007/BF03037139zbMath0654.68022MaRDI QIDQ1108779
Publication date: 1988
Published in: New Generation Computing (Search for Journal in Brave)
partial evaluation; logic programming; Prolog; metaprogramming; automatic compilation; KBMS; knowledge based system; knowlege base management system; metainterpreter; multiple worlds
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
Related Items
How to control unfolding when specializing interpreters, A general criterion for avoiding infinite unfolding during partial deduction, Mixtus: An automatic partial evaluator for full Prolog, Sound and complete partial deduction with unfolding based on well-founded measures
Cites Work