Compiling bottom-up and mixed derivations into top-down executable logic programs

DOI10.1007/BF00249018zbMath0733.68013OpenAlexW2121496138MaRDI QIDQ809591

Maurice Bruynooghe, Gunther Sablon, Bern Martens, Danny De Schreye

Publication date: 1991

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

program transformationcompilation of non-standard computation rulesCompiling Controlcontrol rules

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (1)

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Cites Work

• Unnamed Item
• Unnamed Item
• On the transformation of logic programs with instantiation based computation rules
• Integrity constraint checking in stratified databases
• A technique for translating clausal specifications of numerical methods into efficient programs
• Compiling control
• A Transformation System for Developing Recursive Programs

This page was built for publication: Compiling bottom-up and mixed derivations into top-down executable logic programs