Algebraic specifications of computable and semicomputable data types (Q1098613)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:1098613 |
scientific article; zbMATH DE number 4039257
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebraic specifications of computable and semicomputable data types |
scientific article; zbMATH DE number 4039257 |
Statements
Algebraic specifications of computable and semicomputable data types (English)
0 references
1987
0 references
The authors of this paper are well known contributors in the theory of the abstract data types. This paper is an extensive survey of various specification mechanisms based on initial algebra semantics. The mathematical basis of the algebraic approach to data type specification is reviewed. A proper mathematical analysis and classification of the algebraic specification methods are given. The equational and conditional equational specifications, with and without hidden functions or hidden sorts are described.
0 references
abstract data types
0 references
initial algebra semantics
0 references
algebraic specification
0 references
0 references
0.8405895829200745
0 references
0.8318684697151184
0 references
