An algebraic formulation for data refinement

DOI10.1007/BFB0040270MaRDI QIDQ5887529zbMATH OpenOpenAlexFDO

Authors John Power

Publication date 12 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic formulationfinite productleft adjointnatural isomorphismnatural transformation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Data refinement and algebraic structure
• Category theoretic models of data refinement
• scientific article; zbMATH DE number 3943003
• Algebraic foundations for specification refinements
• Data refinement, call by value and higher order programs

Cites work

• A presentation of topoi as algebraic relative to categories or graphs
• Formal category theory: Adjointness for 2-categories
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Two-dimensional monad theory

Cited in

(16)

• Laws of data refinement
• Monads and algebras in the semantics of partial data types
• Algebraic structure for bicategory enriched categories
• Gabriel-Ulmer duality for categories enriched in bicategories
• Enrichment through variation
• Data refinement and algebraic structure
• Algebraic foundations for specification refinements
• Lax naturality through enrichment
• Logic programming: laxness and saturation
• Data loci in algebraic optimization
• Using the Alloy analyzer to verify data refinement in Z
• scientific article; zbMATH DE number 1088040 (Why is no real title available?)
• scientific article; zbMATH DE number 1512616 (Why is no real title available?)
• Category theoretic models of data refinement
• A method of iterative data refinement and its applications
• Some proofs of data refinement

This page was built for publication: An algebraic formulation for data refinement

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