Algebraic specifications of computable and semicomputable data types (Q1098613)

From MaRDI portal
Revision as of 01:31, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Algebraic specifications of computable and semicomputable data types
scientific article

    Statements

    Algebraic specifications of computable and semicomputable data types (English)
    0 references
    0 references
    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

    Identifiers