In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
This compilation of theses and dissertations (a part of the OSU Bibliographic Series) for the period 1970-1977 reflects this university's emphasis on research and graduate study. It may be viewed as an indicator of the contributions made to the state of Oregon through graduate study and research at Oregon State...
Distributed version control allows developers to manage software evolution among distributed development teams. But it does not eliminate all consistency and concurrency issues, and instead introduces additional complexity when merging code. And resolving merge conflicts is nontrivial when automated merging fails. In such cases, developers are forced to inspect the...