Another look at parameterization for oder-sorted algebraic specifications
From MaRDI portal
(Redirected from Publication:1342863)
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3866562 (Why is no real title available?)
- scientific article; zbMATH DE number 3898210 (Why is no real title available?)
- scientific article; zbMATH DE number 4060701 (Why is no real title available?)
- scientific article; zbMATH DE number 3681970 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3720983 (Why is no real title available?)
- Algebraic specification of modules and their basic interconnections
- Computational aspects of an order-sorted logic with term declarations
- Data Type Specification: Parameterization and the Power of Specification Techniques
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Parameterized Programming
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Parametrization for order-sorted algebraic specification
- Pushout-Properties: An analysis of gluing constructions for graphs
- The equational theory of parameterized specifications
This page was built for publication: Another look at parameterization for oder-sorted algebraic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1342863)
