Parametrization for order-sorted algebraic specification
type: Item
instance of: scholarly article
title: Parametrization for order-sorted algebraic specification
zbMATH Open document ID: 0694.68020
DOI: 10.1016/0022-0000(90)90013-B
author: Axel Poigné
published in: Journal of Computer and System Sciences
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4137310
zbMATH Keywords: parametrization
zbMATH Keywords: algebraic specifications
MaRDI profile type: Publication
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Equational partiality
cites work: Q3906394
cites work: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
cites work: Q3221381
cites work: Q3738549
cites work: Aspects of topoi
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Q3962973
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Q3950708
cites work: Q3707390
cites work: Q3707379
cites work: Q3759011
cites work: Q3809237
cites work: Generalized algebraic theories and contextual categories
full work available at URL: 0022-0000(90)90013-b
OpenAlex ID: W2052972753
description: scientific article; zbMATH DE number 4137310