On merging software extensions
Acta Informatica
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The programmer's apprentice
Software engineering with abstractions
Software engineering with abstractions
A program integration algorithm that accommodates semantics-preserving transformations
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A Graph Model for Software Evolution
IEEE Transactions on Software Engineering
A theory of program modifications
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Algebraic properties of program integration
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Version models for software configuration management
ACM Computing Surveys (CSUR)
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Software systems in-house integration: Architecture, process practices, and strategy selection
Information and Software Technology
Refactoring-Aware Configuration Management for Object-Oriented Programs
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Change-Merging Of Psdl Abstract Data Types
Journal of Integrated Design & Process Science
Diff and merge support for model based development
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Semistructured merge: rethinking merge in revision control systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Structured merge with auto-tuning: balancing precision and performance
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.00 |
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.