ABSTRACT
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integration algorithm recently proposed by S. Horwitz, J. Prins, and T. Reps provides a way to create a semantics-based tool for program integration. The integration algorithm is based on the assumption that any change in the behavior, rather than the text, of a program variant is significant and must be preserved in the merged program. An integration system based on this algorithm will determine whether the programs incorporate interfering changes, and, if they do not, will automatically create an integrated program that includes all changes as well as all features that are preserved in all variants.
In this paper we discuss how an integration tool can illustrate the causes of interference to the user when interference is detected. Our main technical result is an alternative characterization of the integration algorithm's interference criterion that is more suitable for illustrating the causes of interference. We then propose six methods for an integration system to display information to demonstrate the causes of interference to the user.
- 1.Ferrante, J. Gttenstein, K., and Warren, J., "The program dependence graph and its use in optimiition," ACM Trunsuctionr on Programming Languages and Sysrenu 9(3) pp. 3 19-349 (July 1987). Google ScholarDigital Library
- 2.Horwitz, S., Ptins, J. and Reps, T., "Integrating non-interfering versions of programs," pp. 133-145 in Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languuges, (San Diego, CA, January 13-15, 1988). ACM, New York, NY (1988). Google ScholarDigital Library
- 3.Horwitz. S. Prins, J., and Reps, T. "Integrating non-interfering versions of programs," ACM Trans. Program. Lang. Sysj. 11(3)(July 1989). Google ScholarDigital Library
- 4.Kuck, D.J., Kuhn, R.H., Leasure. B. Padua, D.A., and Wolfe, M., "Dependence graphs and compiler optimizations:' pp. 207-218 in Conference Record of the Eighth ACM Symposium on Principles of Programming Lunguages, (WiJliamsburg, VA, January 26-28, 1981). ACM, New York, NY (1981). Google ScholarDigital Library
- 5.Reps, T. and Teitelbaum, T. "The Synthesizer Generator," Proceedings of the ACM SIGSOFTISIGPLAN Software Engineering Symposium on Pracjical Soflware Development Environments, (Pittsburgh, PA, Apr. 23-25.1984), ACM SIGPLANNotices 19(5) pp. 42-48 (May 1984). Google ScholarDigital Library
- 6.Reps, T., Horwitz, S. and Prim. J., "Suppott for integrating program variants in an environment for programming in the large," pp. 197-216 in Proceedings of the International Workshop on Software Version and Configuration Cotirol. (Grassau. W. Germanv. Jan. 27- 29, 1988) Berichre des German ChLlpler of he ACM, Vbi. 30, ed. J.F.H. Winkler,B.G. Teubner, Stungart, W. Germany (1988).Google Scholar
- 7.Reps, T. and Teitelbaum, T., The Synihesizer Generator: A System for Constructing Lunguage-Based Editors, Springer-Verlag. New York, NY (1988). Google ScholarDigital Library
- 8.Reps, T. and Yang, W., "The semantics of program slicing," TR-777, Computer Sciences Department, University of Wisconsin, Madison, WI (June 1988).Google Scholar
Index Terms
- Illustrating interference in interfering versions of programs
Recommendations
Illustrating interference in interfering versions of programs
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integration algorithm recently proposed by S. Horwitz, J. Prins, and T. Reps ...
On the Design of Interference Alignment Scheme for Two-Cell MIMO Interfering Broadcast Channels
The interference alignment (IA) is a promising technique to effectively mitigate interferences in wireless communication systems. To show the potential benefits of such an IA scheme, this letter focuses on a two-cell multiple-input multiple-output (MIMO)...
Retrospective Interference Alignment for the Two-Cell MIMO Interfering Multiple Access Channel
In this paper, we propose a new retrospective interference alignment for two-cell multiple-input multiple-output (MIMO) interfering multiple access channels (IMAC) with M receive antennas per base station (BS) and K users per cell each with N transmit ...
Comments