scientific article; zbMATH DE number 3947599

MaRDI QIDQ3718129zbMATH OpenFDO

Authors Françoise Bellegarde

Publication date 1986

zbMATH Keywords

functional programmingstepwise refinementprogram transformationterm rewriting systemiterative programsMEDEEREVE system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4096777
• Program transformation and rewriting
• Rewriting systems on FP expressions to reduce the number of sequences yielded
• Normalization by leftmost innermost rewriting
• Term Rewriting with Logical Constraints

Cited in

(4)

• RAPT: A Program Transformation System Based on Term Rewriting
• Rewriting systems on FP expressions to reduce the number of sequences yielded
• scientific article; zbMATH DE number 4096777 (Why is no real title available?)
• Program transformation by solving equations

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