Search Constraints

Start Over
Filtering by: Creator Strem, Eric Thomas Remove constraint Creator: Strem, Eric Thomas Advisor Erwig, Martin Remove constraint Advisor: Erwig, Martin

Search Results

  • A Language for Querying Source Code Repositories

    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:
    program, and his patience and knowledge that helped me in writing this thesis. Thank you to Dr. Eric

  • The choice calculus : a formal language of variation

    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:
    AN ABSTRACT OF THE DISSERTATION OF Eric Walkingshaw for

  • Playing by the Rules: A Formal Specification of BoGL’s Loops and Type System

    Creator:
    Grejuc, Alex
    Abstract:
    BoGL is a programming language created for the purpose of computer science education that is specific to the domain of board games. Although there is a language grammar and an existing implementation that is currently used by students, a complete and formal language standard does not yet exist. In the...
    Resource Type:
    Honors College Thesis
    Full Text:
    : Martin Erwig, Mentor, representing Computer Science Eric Walkingshaw, Committee Member, representing

  • Design and Application of Variational Representations

    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:
    , including Margaret Burnett, Eugene Zhang, Eric Walkingshaw, Ron Metoyer, Mike Rosulek, and Julia Jones

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis

  • #ifdef Confirmed Harmful - Promoting Understandable Software Variation

    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:
    fellow graduate students, Sheng Chen, Chris Chambers, Eric Walk- ingshaw, and others. Your friendship

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    thankful to my research group members, Eric, Duc, Rahul, Sheng, Tim and Chris, for their help. Lastly, I

  • Guided Translation of Algorithmic Notation into Functional Programs

    Creator:
    Fedorin, Danila
    Abstract:
    The use of board games for teaching introductory computer science is a promising recent avenue of research. The goal is to introduce computing concepts through their use in the implementations of simple games, thereby keeping students engaged through their learning process. However, there is a gap between students' algorithmic descriptions...
    Resource Type:
    Masters Thesis
    Full Text:
    rather be studying. I’d also like to thank Eric Walkingshaw for his boundless encouragement and constant

  • Structuring Teachable Knowledge through Program-Concept Classifications

    Creator:
    Wilson, Benjamin F.
    Abstract:
    Teaching CS is a challenging task, especially for those without prior programming experience. Even for veteran educators, having to learn CS concepts while also trying to teach those same concepts is difficult; as is the case for many K-12 CS instructors. Unfortunately, there is often no formalized order with CS...
    Resource Type:
    Masters Thesis

  • Type-correct changes — a safe approach to version control implementation

    Creator:
    Dagit, Jason
    Abstract:
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...
    Resource Type:
    Masters Thesis
    Full Text:
    , especially Eric Kow, Ian Lynagh, and Ganesh Sittampalam. This work was partially funded by Google Inc., by