scientific article; zbMATH DE number 177790

MaRDI QIDQ4038668zbMATH OpenFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 18 May 1993

zbMATH Keywords

disagreement pointsEureka definitionstransformations

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• How powerful are folding/unfolding transformations?
• scientific article; zbMATH DE number 3924119
• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 1487848
• When is a function a fold or an unfold?

Cited in

(1)

• How powerful are folding/unfolding transformations?

Describes a project that uses

Uses Software

• Miranda

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