Algebraic specification of modules and their basic interconnections
- 1 April 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 34 (2-3) , 293-339
- https://doi.org/10.1016/0022-0000(87)90028-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Union and actualization of module specifications: Some compatibility resultsJournal of Computer and System Sciences, 1987
- Specification of modular systemsIEEE Transactions on Software Engineering, 1986
- 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
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972