scientific article; zbMATH DE number 1487848

MaRDI QIDQ4494372zbMATH OpenFDO

Authors Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Publication date 10 August 2000

zbMATH Keywords

unfold/fold transformation systems

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Unfold/fold transformations of logic programs
• On inductive proofs by extended unfold/fold transformation rules
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Cited in

(8)

• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Constraint-based correctness proofs for logic program transformations
• scientific article; zbMATH DE number 1615257 (Why is no real title available?)
• scientific article; zbMATH DE number 177790 (Why is no real title available?)
• scientific article; zbMATH DE number 850634 (Why is no real title available?)
• Inverse Unfold Problem and Its Heuristic Solving
• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

This page was built for publication:

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