scientific article; zbMATH DE number 1761900

MaRDI QIDQ4537519zbMATH OpenFDO

Authors Annalisa Bossi, Nicoletta Cocco

Publication date 1 July 2002

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1615257
• Preservation of stronger equivalence in unfold/fold logic program transformation
• Unfold/fold transformation of stratified programs
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Equivalence-preserving first-order unfold/fold transformation systems

Cited in

(4)

• Constraint-based correctness proofs for logic program transformations
• scientific article; zbMATH DE number 1070568 (Why is no real title available?)
• scientific article; zbMATH DE number 1088019 (Why is no real title available?)
• scientific article; zbMATH DE number 1615257 (Why is no real title available?)

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 Q4537519)