Inner and mutual compatibility of basic operations on module specifications

Publisher Website

10 June 2005

book chapter
Published by Springer Nature

p. 30-44
https://doi.org/10.1007/bfb0022657

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Compatibility of parameter passing and implementation of parameterized data types
Theoretical Computer Science, 1983
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems, 1983
Programming with abstract data types
ACM SIGPLAN Notices, 1974
A technique for software module specification with examples
Communications of the ACM, 1972