Extended directed graphs, a formalism for structured data and data structures

zbMath0348.68026MaRDI QIDQ1234591

M. E. Majster

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Algebraic specification of modules and their basic interconnections, Algebraic specifications of computable and semicomputable data types, About the implementability and the power of equationally defined data abstractions, Specifications, models, and implementations of data abstractions, Data types, abstract data types and their specification problem, A constructive method for abstract algebraic software specification, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Two impossibility theorems on behaviour specification of abstract data types