Parametrization for order-sorted algebraic specification
From MaRDI portal
Publication:909448
DOI10.1016/0022-0000(90)90013-BzbMath0694.68020MaRDI QIDQ909448
Publication date: 1990
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
68P05: Data structures
68N01: General topics in the theory of software
Related Items
Semantics of order-sorted specifications, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Another look at parameterization for oder-sorted algebraic specifications, Specification and proof in membership equational logic
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