scientific article; zbMATH DE number 1761900

zbMATH Open0988.68513MaRDI QIDQ4537519FDOQ4537519

Authors: Annalisa Bossi, Nicoletta Cocco 

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

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

Cited In (4)

• Constraint-based correctness proofs for logic program transformations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)