Parametrization for order-sorted algebraic specification
- 1 April 1990
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 40 (2) , 229-268
- https://doi.org/10.1016/0022-0000(90)90013-b
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Generalised algebraic theories and contextual categoriesPublished by Elsevier ,2003
- Reusing and Interconnecting Software ComponentsComputer, 1986
- Equational partialityAlgebra universalis, 1983
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981