scientific article

zbMath0577.68034MaRDI QIDQ3698293

Laurent Kott

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program transformationsfunctional programmingcorrectness proofprogram schemescorrectness problemunfold/fold technique

Mathematics Subject Classification ID

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

Related Items

Rules + strategies for transforming lazy functional logic programs, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Computing in unpredictable environments: semantics, reduction strategies, and program transformations, The next 700 program transformers, Program morphisms, Synthetic programming, Computing in unpredictable environments: Semantics, reduction strategies, and program transformations