Loop checking in partial deduction

DOI10.1016/0743-1066(93)90022-9MaRDI QIDQ5286916zbMATH OpenOpenAlexWikidataFDO

Authors Roland N. Bol

Publication date 6 February 1994

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/5549

zbMATH Keywords

partial deductionprogram transformationstermination

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• An analysis of loop checking mechanisms for logic programs
• scientific article; zbMATH DE number 813263
• Sound and complete partial deduction with unfolding based on well-founded measures
• scientific article; zbMATH DE number 970704

Cited in

(14)

• Rules + strategies for transforming lazy functional logic programs
• A general criterion for avoiding infinite unfolding during partial deduction
• Explanations as programs in probabilistic logic programming
• Type-based homeomorphic embedding for online termination
• scientific article; zbMATH DE number 813263 (Why is no real title available?)
• Loop checking in SLD-derivations by well-quasi-ordering of goals
• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• Deciding the bisimilarity relation between Datalog goals
• A partial evaluation framework for order-sorted equational programs modulo axioms
• The next 700 program transformers
• Loop checks for logic programs with functions
• Knowledge base dynamics, abduction, and database updates
• The narrowing-driven approach to functional logic program specialization
• Making assumptions in the automated derivation

This page was built for publication: Loop checking in partial deduction

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