Semantics of the Domain of Flow Diagrams

DOI10.1145/322017.322028MaRDI QIDQ4130961zbMATH OpenOpenAlexFDO

Authors John C. Reynolds

Publication date 1977

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/322017.322028

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(4)

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Tree constructions of free continuous algebras
• Combining algebraic effects with continuations
• Semantical analysis of specification logic

This page was built for publication: Semantics of the Domain of Flow Diagrams

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