Software merge : semantics of combining changes to programsp1s
Berzines, Valdis Andris
MetadataShow full item record
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.
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-CS-93-011
Showing items related by title, author, creator and subject.
Elis, Haluk. (Monterey, California: Naval Postgraduate School, 1999-09);his thesis analyzes causal factors associated with first-term attrition for all four military services. In particular, it seeks to identify demographic and other factors that have influenced changes in attrition over time. ...
An analysis of the effects of military housing allowances and other military related factors on private sector rental housing prices Wick, Gary L. (Monterey, California. Naval Postgraduate School, 1996);Privatization of Military Family Housing will place a greater reliance on private sector rental housing. Before the DoD embarks on any policy changes that place a greater emphasis on private sector housing, the DoD must ...
Dampier, David A.; Luqi; Berzins, Valdis (1994);As software becomes more complex, more sophisticated development and maintenance methods are needed to ensure software quality. Computer-aided prototyping achieves this via quickly built and iteratively updated prototypes ...