Data refinement and algebraic structure

DOI10.1007/S002360050171MaRDI QIDQ1567199zbMATH OpenOpenAlexFDO

Authors Yoshiki Kinoshita, John Power

Publication date 5 June 2000

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050171

zbMATH Keywords

data refinement

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Category theoretic models of data refinement
• An algebraic formulation for data refinement
• scientific article; zbMATH DE number 1617299
• Data refinement, call by value and higher order programs

Cited in

(11)

• Laws of data refinement
• Gabriel-Ulmer duality for categories enriched in bicategories
• Soundness of data refinement for a higher-order imperative language
• scientific article; zbMATH DE number 1617299 (Why is no real title available?)
• Algebraic data integration
• Category theoretic models of data refinement
• Axiomatics for data refinement in call by value programming languages
• Automatic Data Refinement
• An algebraic formulation for data refinement
• Data refinement of remote procedures
• Some proofs of data refinement

This page was built for publication: Data refinement and algebraic structure

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