Publication:3698293
From MaRDI portal
zbMath0577.68034MaRDI QIDQ3698293
Publication date: 1985
program transformations; functional programming; correctness proof; program schemes; correctness problem; unfold/fold technique
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
68Q99: Theory of computing
Related Items
Synthetic programming, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Program morphisms, Computing in unpredictable environments: semantics, reduction strategies, and program transformations, Rules + strategies for transforming lazy functional logic programs