The equational theory of parameterized specifications
type: Item
instance of: scholarly article
title: The equational theory of parameterized specifications
zbMATH Open document ID: 0658.68021
DOI: 10.1016/0890-5401(88)90006-5
author: Peter Padawitz
published in: Information and Computation
publication date: 1988-01-01T00:00:00Z
review text: This is another interesting paper of the author concerning parameterized specifications. The main result shows that the equational theorems valid in a parameterized data type can be derived in the inductive theory of the corresponding parameterized specification. In part two of the paper the result is extended to consistent models, i.e., those with initial interpretation of `bool' in the parameter part.
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 4076590
zbMATH Keywords: algebraic specification
zbMATH Keywords: parameterized specifications
zbMATH Keywords: data type
reviewed by: Hartmut Ehrig
MaRDI profile type: Publication
full work available at URL: 0890-5401(88)90006-5
OpenAlex ID: W2005281679
cites work: Q4152697
cites work: Q5570212
cites work: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
cites work: Q3221381
cites work: Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
cites work: Q3687683
cites work: Q4743710
cites work: Q4743722
cites work: Q5654197
cites work: Characterizing specification languages which admit initial semantics
cites work: Q3345752
cites work: Parameter-preserving data type specifications
cites work: Q3698310
cites work: Q5734410
cites work: Q4159023
cites work: Data Type Specification: Parameterization and the Power of Specification Techniques
description: scientific article; zbMATH DE number 4076590