Program morphisms

DOI10.1007/BF03180569MaRDI QIDQ1203125zbMATH OpenOpenAlexFDO

Authors C. T. P. Burton

Publication date 4 February 1993

Published in Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

arrowsimulationfunctorspecificationtheory morphismcategorynatural transformationprogram transformationrecursive definitionderivor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• Operational and semantic equivalence between recursive programs.
• scientific article; zbMATH DE number 139628
• scientific article; zbMATH DE number 29625
• Fixpoint semantics and simulation
• On the algebraic definition of programming languages

Cites work

• scientific article; zbMATH DE number 3924119 (Why is no real title available?)
• scientific article; zbMATH DE number 3596218 (Why is no real title available?)
• scientific article; zbMATH DE number 3596224 (Why is no real title available?)
• scientific article; zbMATH DE number 3342643 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Algorithm classification through synthesis
• Automatic synthesis of typed -programs on term algebras
• Correctness of recursive parallel nondeterministic flow programs
• Higher-order Transformations and Type Simulations
• On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
• Partial parametrization eliminates multiple traversals of data structures
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories

Cited in

(3)

• scientific article; zbMATH DE number 1231620 (Why is no real title available?)
• scientific article; zbMATH DE number 1191243 (Why is no real title available?)
• Programming from metaphorisms

This page was built for publication: Program morphisms

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