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

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