A program integration algorithm that accommodates semantics-preserving transformations

Wuu Yang, Susan Howitz, Thomas Reps

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

18 Scopus citations

Abstract

Given a program Base and two variants, A and B, each created by modifying separate copies of Base, the goal of program integration is to determine whether the modifications interfere, and if they do not, to create an integrated program that includes both sets of changes as well as the portions of Base preserved in both variants. Text-based integration techniques, such as the one used by the UNIX diff3 utility, are obviously unsatisfactory because one has no guarantees about how the execution behavior of the integrated program relates to the behaviors of Base, A, and B. The first program-integration algorithm to provide such guarantees was developed by Horwitz, Prins, and Reps. However, a limitation of that algorithm is that it incorporates no notion of semantics-preserving transformations. This limitation causes the algorithm to be overly conservative in its definition of interference. For example, if one variant changes the way a computation is performed (without changing the values computed) while the other variant adds code that uses the result of the computation, the algorithm would classify those changes as interfering. This paper describes a new integration algorithm that is able to accommodate semantics-preserving transformations.

Original languageEnglish
Title of host publicationProceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, SDE 1990
EditorsRichard N. Taylor
PublisherAssociation for Computing Machinery, Inc
Pages133-143
Number of pages11
ISBN (Electronic)089791418X, 9780897914185
DOIs
StatePublished - 1 Oct 1990
Event4th ACM SIGSOFT Symposium on Software Development Environments, SDE 1990 - Irvine, United States
Duration: 3 Dec 19905 Dec 1990

Publication series

NameProceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, SDE 1990

Conference

Conference4th ACM SIGSOFT Symposium on Software Development Environments, SDE 1990
CountryUnited States
CityIrvine
Period3/12/905/12/90

Fingerprint Dive into the research topics of 'A program integration algorithm that accommodates semantics-preserving transformations'. Together they form a unique fingerprint.

Cite this