Partial evaluation of metaprograms in a ``multiple worlds logic language

DOI10.1007/BF03037139MaRDI QIDQ1108779zbMATH OpenOpenAlexFDO

Authors Giorgio Levi, Giuseppe Sardu

Publication date 1988

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037139

zbMATH Keywords

partial evaluationlogic programmingPrologmetaprogrammingautomatic compilationKBMSknowledge based systemknowlege base management systemmetainterpretermultiple worlds

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3978352
• Supporting Transformations for the Partial Evaluation of Logic Programs
• Partial evaluation in logic programming
• A self-applicable partial evaluator and its use in incremental compilation
• scientific article; zbMATH DE number 1950450

Cites work

• scientific article; zbMATH DE number 3978352 (Why is no real title available?)
• A self-applicable partial evaluator and its use in incremental compilation
• Composing recursive logic programs with clausal join
• Mixed computation: potential applications and problems for study
• On the partial computation principle

Cited in

(9)

• Partial evaluation in logic programming
• Sound and complete partial deduction with unfolding based on well-founded measures
• Mixtus: An automatic partial evaluator for full Prolog
• A general criterion for avoiding infinite unfolding during partial deduction
• scientific article; zbMATH DE number 194215 (Why is no real title available?)
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• Mixed computation of Prolog programs
• How to control unfolding when specializing interpreters
• scientific article; zbMATH DE number 3978352 (Why is no real title available?)

This page was built for publication: Partial evaluation of metaprograms in a ``multiple worlds logic language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1108779)