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

(22)

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

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)