The semantics of shared submodules specifications
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 359-373
- https://doi.org/10.1007/3-540-15198-2_23
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Compatibility of parameter passing and implementation of parameterized data typesTheoretical Computer Science, 1983
- Implementation of data types by algebraic methodsJournal of Computer and System Sciences, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982