Extended directed graphs, a formalism for structured data and data structures
From MaRDI portal
Publication:1234591
Cited in
(8)- Algebraic specification of modules and their basic interconnections
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Data types, abstract data types and their specification problem
- About the implementability and the power of equationally defined data abstractions
- A constructive method for abstract algebraic software specification
- Specifications, models, and implementations of data abstractions
- Two impossibility theorems on behaviour specification of abstract data types
- Algebraic specifications of computable and semicomputable data types
This page was built for publication: Extended directed graphs, a formalism for structured data and data structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1234591)