Pushouts of order-sorted algebraic specifications
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 132-147
- https://doi.org/10.1007/bfb0014312
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Pushouts of order-sorted algebraic specificationsPublished by Springer Nature ,1996
- An Oxford survey of order sorted algebraMathematical Structures in Computer Science, 1994
- A behavioural algebraic framework for modular system design with reusePublished by Springer Nature ,1994
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Algebraic Specification Techniques in Object Oriented Programming EnvironmentsPublished by Springer Nature ,1991
- Parametrization for order-sorted algebraic specificationJournal of Computer and System Sciences, 1990
- Algebraic SpecificationPublished by Elsevier ,1990
- Module SpecificationsPublished by Springer Nature ,1990
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985