Software merge-Reference-Cited by-同舟云学术

Software merge

Published:1994-11 Issue:6 Volume:16 Page:1875-1903
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Berzins Valdis¹

Affiliation:

1. Naval Postgraduate School, Monterey, CA

Abstract

We present a language-independent semantic model of the process of combining changes to programs. This model extends the domains used in denotational semantics (complete partial orders) to Boolean algebras, and represents incompatible modifications as well as compatible extensions. The model is used to define the intended semantics of change-merging operations on programs and to establish some general properties of software merging. We determine conditions under which changes to subprograms of a software system can be merged independently and illustrate cases where this is not possible.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/197320.197403

Reference26 articles.

1. BERZINS V ED. 1993. Proceedings of the ARO/AFOSR/ONR Workshop on Increaszng the Practical Impact of Formal Methods for Computer-Azded Software Development Software Slicing Merging and Integratton. U.S. Naval Postgraduate School Monterey Caif BERZINS V ED. 1993. Proceedings of the ARO/AFOSR/ONR Workshop on Increaszng the Practical Impact of Formal Methods for Computer-Azded Software Development Software Slicing Merging and Integratton. U.S. Naval Postgraduate School Monterey Caif

2. Software merge Models and methods Int;BERZINS V.;J. Syst. Integr.,1991

3. On merging software extensions

4. BERZINS V. AND LUQI. 1991. Software Engineemng wzth Abstractwns. Addson-Wesley Reading Mass. BERZINS V. AND LUQI. 1991. Software Engineemng wzth Abstractwns. Addson-Wesley Reading Mass.

5. Using transformations in specification-based prototyping

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Do code refactorings influence the merge effort?;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. Leveraging Structure in Software Merge: An Empirical Study;IEEE Transactions on Software Engineering;2021

3. On the Nature of Merge Conflicts: A Study of 2,731 Open Source Java Projects Hosted by GitHub;IEEE Transactions on Software Engineering;2020-08-01

4. Planning for untangling;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

5. A delta‐oriented approach to support the safe reuse of black‐box code rewriters;Journal of Software: Evolution and Process;2019-08