The Mechanical Transformation of Data Types

DOI10.1093/COMJNL/35.2.138MaRDI QIDQ4019962zbMATH OpenOpenAlexFDO

Authors Peter G. Harrison, Hessam Khoshnevisan

Publication date 16 January 1993

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/35.2.138

zbMATH Keywords

abstract data typesdata-type transformationsinverse functionstransformation-based program development

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3845032
• scientific article; zbMATH DE number 3970091
• scientific article; zbMATH DE number 3907753
• Data structures and program transformation
• Algebraic Transformation Techniques for Functional Languages

Cited in

(6)

• On the synthesis of function inverses
• Polytypic data conversion programs
• scientific article; zbMATH DE number 3845032 (Why is no real title available?)
• scientific article; zbMATH DE number 3970091 (Why is no real title available?)
• scientific article; zbMATH DE number 756053 (Why is no real title available?)
• Mathematics of Program Construction

This page was built for publication: The Mechanical Transformation of Data Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4019962)