scientific article; zbMATH DE number 3845032

zbMATH Open0532.68029MaRDI QIDQ3314972FDOQ3314972

Authors: John Darlington 

Publication date: 1983

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Data structures and program transformation
• Title not available (Why is that?)

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)