Parametrization for order-sorted algebraic specification

DOI10.1016/0022-0000(90)90013-BzbMath0694.68020OpenAlexW2052972753MaRDI QIDQ909448

Axel Poigné

Publication date: 1990

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(90)90013-b

zbMATH Keywords

parametrizationalgebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (8)

Unique-sort order-sorted theories : A description as monad morphisms ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Order-Sorted Parameterization and Induction ⋮ Higher-order order-sorted algebras ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ Specification and proof in membership equational logic ⋮ Semantics of order-sorted specifications ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

Cites Work

• Equational partiality
• Generalized algebraic theories and contextual categories
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Initial Algebra Semantics and Continuous Algebras
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parametrization for order-sorted algebraic specification