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

natural transformationalgebraic formulationleft adjointfinite productnatural isomorphism

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

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

Cited in

(14)

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

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)