Another look at parameterization for oder-sorted algebraic specifications
From MaRDI portal
Publication:1342863
DOI10.1016/S0022-0000(05)80074-1zbMath0938.68721MaRDI QIDQ1342863
Publication date: 21 June 2000
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parametrization for order-sorted algebraic specification
- Algebraic specification of modules and their basic interconnections
- The equational theory of parameterized specifications
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Computational aspects of an order-sorted logic with term declarations
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Parameterized Programming
- Pushout-Properties: An analysis of gluing constructions for graphs
- 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
This page was built for publication: Another look at parameterization for oder-sorted algebraic specifications
