scientific article; zbMATH DE number 3594631

MaRDI QIDQ4160385zbMATH OpenFDO

Authors Hartmut Ehrig, Peter Padawitz, Hans-Jörg Kreowski

Publication date 1978

Mathematics Subject Classification ID

Special categories (18B99) Data structures (68P05)

Cited in

(8)

• Parameter passing in algebraic specification languages
• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Complexity of algebraic implementations for abstract data types
• Algebraic implementation of abstract data types
• Compatibility of parameter passing and implementation of parameterized data types
• Implementation of data types by algebraic methods
• A constructive method for abstract algebraic software specification

This page was built for publication:

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