Transformation of left terminating programs

DOI10.1007/10720327_10MaRDI QIDQ2723923zbMATH OpenFDO

Authors Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Publication date 8 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1761900
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Automatic Correctness Proofs for Logic Program Transformations
• A parameterized unfold/fold transformation framework for definite logic programs
• Unfold/fold transformation of stratified programs

Cited in

(2)

• scientific article; zbMATH DE number 1761900 (Why is no real title available?)
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

This page was built for publication: Transformation of left terminating programs

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