On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types (Q3936177)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types |
scientific article |
Statements
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types (English)
0 references
1982
0 references
semantics of programming languages
0 references
abstract implementation
0 references
algebraic specification
0 references
category theory
0 references
equational specification
0 references
parametrized specification
0 references