The equational theory of parameterized specifications

DOI10.1016/0890-5401(88)90006-5zbMath0658.68021OpenAlexW2005281679MaRDI QIDQ1111364

Peter Padawitz

Publication date: 1988

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(88)90006-5

zbMATH Keywords

algebraic specificationdata typeparameterized specifications

Mathematics Subject Classification ID

Data structures (68P05) Equational classes, universal algebra in model theory (03C05)

Related Items (3)

Another look at parameterization for oder-sorted algebraic specifications ⋮ Proofs in parameterized specifications ⋮ Order-Sorted Parameterization and Induction

Cites Work

• Characterizing specification languages which admit initial semantics
• Parameter-preserving data type specifications
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The equational theory of parameterized specifications