IBM Journal of Research and Development · 1984 · 29 citations · 3 references
ComputingComputer ScienceCompilersProgramming LanguagesSoftware EngineeringSoftware MaintenanceVersion ControlVersion Control SystemsCommon Parts MaintenanceConditional CompilationSoftware VersioningVersion Control In WritingVersion PreservationVersioning
When more than one version of a program must be maintained, generally much of the code is repeated unchanged in many versions. Techniques such as “deltas” and conditional compilation are commonly used to avoid duplicating these common parts. In addition to saving storage, these methods aid the programmer greatly in managing updates to the versions. Unfortunately, these representations of multi-version programs can appear very unlike a program, making them difficult to edit. Described here is a new method of automating much of the bookkeeping involved in dealing with multi-version programs. It entails use of a special editor that enables a multi-version program to be seen and modified in a fashion that is far closer to that normally permitted for a single-version program.
3
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
Cyril N. Alberga, Allen L. Brown, George B. Leeman et al. · IBM Journal of Research and Development · 1984 · 14 citations
Program reduction using symbolic execution
James C. King · ACM SIGSOFT Software Engineering Notes · 1981 · 12 citations