Isomorphic data type transformations

DOI10.4204/EPTCS.327.12MaRDI QIDQ6591499zbMATH OpenFDO

Authors Alessandro Coglio, Stephen J. Westfold

Publication date 22 August 2024

Full work available at URL https://doi.org/10.4204/EPTCS.327.12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automatic Data Refinement
• Data refinement in Isabelle/HOL
• Mathematics of Program Construction
• Data structures and program transformation
• ``Everything is everything revisited: shapeshifting data types with isomorphisms and hylomorphisms

This page was built for publication: Isomorphic data type transformations

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