On merging software extensions
- 1 November 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 23 (6), 607-619
- https://doi.org/10.1007/bf00264309
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A complete proof of correctness of the Knuth-Bendix completion algorithmJournal of Computer and System Sciences, 1981
- A Designer/Verifier's AssistantIEEE Transactions on Software Engineering, 1979
- The programmer's workbench—a machine for software developmentCommunications of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- The source code control systemIEEE Transactions on Software Engineering, 1975
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970