Index Catalog // ScholarsArchive@OSU

Creator:: Smeltzer, Karl J.
Abstract:: Variability is an important and widely studied topic across domains such as version control, software product lines, and metaprogramming. This dissertation presents an investigation into the process of systematically adding variability to data structures and programs, leading to guidelines for variational data structures and implications for programs that create, manipulate,...
Resource Type:: Dissertation
Full Text:: . Stacey, I am incredibly lucky to have you in my life, and the motivation you instill in me has been

Creator:: Walkingshaw, Eric
Abstract:: 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,...
Resource Type:: Dissertation
Full Text:: Passau last summer. Thank you to Tillmann Rendel and Klaus Ostermann for collaborating with us on the

Creator:: Xu, Keying
Abstract:: The problem of supporting more advanced selective undo operations has received a lot of attention. However, selective undo is generally missing in commonly used editors. Moreover, partial selective undo, the ability of undoing just part of some edit so that other edits may be undone, is not supported at all....
Resource Type:: Capstone Project
Full Text:: for A ⋅B ⋅C ⋅D (left) and branch filter for A ⋅B. . . . . . . . . . . . . . 43 5.1 Two different

Creator:: Chen, Sheng
Abstract:: The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
Resource Type:: Dissertation

Creator:: Wang, Xiangyu
Abstract:: Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
Resource Type:: Masters Thesis
Full Text:: syntax of the choice calculus can be found in [17]. e ::= ε | D | D〈e,e〉 | e...e The syntax says a

Creator:: Kumar, Deepthi S.
Abstract:: The history of a software project plays a vital role in the software development process. Version control systems enable users of a software repository to look at the evolution of the source code, and see the changes that led to newer versions. Currently, version control systems provide commands that can...
Resource Type:: Masters Thesis
Full Text:: using the choice pattern d〈elementOf, $x〉 and obtain all the subsequent changes made to elementOf. The

Creator:: Le, Duc
Abstract:: Maintaining variation in software is a difficult problem that poses serious challenges for the understanding and editing of software artifacts. Although the C preprocessor (CPP) is often the default tool used to introduce variability to software, because of its simplicity and flexibility, it is infamous for its obtrusive syntax and...
Resource Type:: Capstone Project
Full Text:: ; } int main() { int x = 0; x = doThis(); printf("did this! "); printf("x=%d; ",x); if

Creator:: Walkingshaw, Eric
Abstract:: Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult to apply. This thesis collects three previously published papers that provide domain-specific language (DSL) support for defining and executing...
Resource Type:: Masters Thesis
Full Text:: each iteration accumulating. 7 Player 2 C D Player 1 C 2, 2 0, 3 D 3, 0 1, 1 Figure 2.1

ScholarsArchive@OSU