scientific article; zbMATH DE number 3845032

MaRDI QIDQ3314972zbMATH OpenFDO

Authors John Darlington

Publication date 1983

zbMATH Keywords

functional programmingabstract data typesalgebraic specificationprogram transformation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3970091
• The Mechanical Transformation of Data Types
• scientific article; zbMATH DE number 3924119
• scientific article; zbMATH DE number 3907753
• Data structures and program transformation

Cited in

(6)

• Transformation synthesis of efficient algorithms with auxiliary specifications
• Synthesis of recursive ADT transformations from reusable templates
• The Mechanical Transformation of Data Types
• Data structures and program transformation
• scientific article; zbMATH DE number 3907753 (Why is no real title available?)
• scientific article; zbMATH DE number 3970091 (Why is no real title available?)

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