Semantic constructions for the specification of objects (Q5941157)
From MaRDI portal
scientific article; zbMATH DE number 1635322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic constructions for the specification of objects |
scientific article; zbMATH DE number 1635322 |
Statements
Semantic constructions for the specification of objects (English)
0 references
20 August 2001
0 references
algebraic specification
0 references
semantics
0 references
final algebra
0 references
cofree algebra
0 references
