A constructive method for abstract algebraic software specification
type: Item
instance of: scholarly article
title: A constructive method for abstract algebraic software specification
zbMATH Open document ID: 0544.68016
DOI: 10.1016/0304-3975(84)90062-8
author: Herbert A. Klaeren
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3866563
zbMATH Keywords: algebraic axioms
zbMATH Keywords: canonical term algebras
zbMATH Keywords: recursion schemata
zbMATH Keywords: abstract algebraic software specification
zbMATH Keywords: data structure
zbMATH Keywords: free algebras
zbMATH Keywords: structural recursive schemata
zbMATH Keywords: semantics
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90062-8
OpenAlex ID: W2017125301
cites work: Q3912001
cites work: Q3217583
cites work: Q3208066
cites work: Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
cites work: Q3969852
cites work: Q4198051
cites work: Q3875328
cites work: Q4190110
cites work: Q3871894
cites work: Q3906394
cites work: Q5618896
cites work: Extensions and implementations of abstract data type specifications
cites work: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
cites work: Q3917479
cites work: Algebraic implementation of abstract data types
cites work: Q4160385
cites work: Q3906461
cites work: Q4151143
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q4063610
cites work: Q4178466
cites work: The algebraic specification of abstract data types
cites work: Q3925867
cites work: Q4182497
cites work: Final Data Types and Their Specification
cites work: Q3932287
cites work: Q3660895
cites work: Q4743710
cites work: Q3910517
cites work: Q3932288
cites work: Extended directed graphs, a formalism for structured data and data structures
cites work: Data types, abstract data types and their specification problem
cites work: Abstract Data Type Specification in the Affirm System
cites work: Q3341872
cites work: Comparing data type specifications via their normal forms
cites work: Data type specification
cites work: Final algebra semantics and data type extensions
cites work: Q3923582
description: scientific article; zbMATH DE number 3866563