scientific article; zbMATH DE number 3924119

MaRDI QIDQ3698293zbMATH OpenFDO

Authors Laurent Kott

Publication date 1985

zbMATH Keywords

functional programmingprogram transformationscorrectness proofprogram schemescorrectness problemunfold/fold technique

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Recommendations

• How powerful are folding/unfolding transformations?
• Unfold/fold transformations of logic programs
• Automatic Correctness Proofs for Logic Program Transformations
• scientific article; zbMATH DE number 1088019
• Unfolding for CHR programs

Cited in

(23)

• Computing in unpredictable environments: semantics, reduction strategies, and program transformations
• scientific article; zbMATH DE number 4037258 (Why is no real title available?)
• Unfolding rules for GHC programs
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Fold and unfold for program semantics
• The under-appreciated unfold
• scientific article; zbMATH DE number 177790 (Why is no real title available?)
• The under-appreciated unfold
• Fold and unfold for program semantics
• Infinite unfolding and transformations of nondeterministic programs
• Synthetic programming
• Automatic Correctness Proofs for Logic Program Transformations
• Unfold/fold transformations of logic programs
• scientific article; zbMATH DE number 3845032 (Why is no real title available?)
• Rules + strategies for transforming lazy functional logic programs
• A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
• Proving the correctness of unfold/fold program transformations using bisimulation
• The next 700 program transformers
• Program morphisms
• Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
• Work it, wrap it, fix it, fold it
• Unfolding for CHR programs
• How powerful are folding/unfolding transformations?

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