Algebraic specifications of computable and semicomputable data types (Q1098613): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(87)90123-x / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2007898361 / rank
 
Normal rank

Latest revision as of 11:55, 30 July 2024

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
    0 references
    0 references
    0 references
    0 references
    abstract data types
    0 references
    initial algebra semantics
    0 references
    algebraic specification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references