scientific article; zbMATH DE number 3845032

MaRDI QIDQ3314972zbMATH OpenFDO

Authors John Darlington

Publication date 1983

zbMATH Keywords

abstract data typesalgebraic specificationfunctional programmingprogram 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)

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

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)