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