Search Constraints

Start Over
Filtering by: Creator Fisk, Martin R. Remove constraint Creator: Fisk, Martin R. Advisor Erwig, Martin Remove constraint Advisor: Erwig, Martin

Search Results

  • Variational Typing and Its Applications

    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
    Full Text:
    presented on July 1, 2015. Title: Variational Typing and Its Applications Abstract approved: Martin

  • Using Change Representations to Analyze Properties of Variational Software

    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:
    Analyze Properties of Variational Software Abstract approved: Martin Erwig Appropriate representations

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    <5%TZV,WXT=Y4Y4[ QR&)&r- (D+47H5NE.-.$/EN$'3

  • 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:
    Implementation Abstract approved: David Roundy Martin Erwig Ensuring correctness of real-world software

  • 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:
    Calculus: A Formal Language of Variation Abstract approved: Martin Erwig In this thesis I present the

  • 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
    Full Text:
    : Structuring Teachable Knowledge through Program-Concept Classifications Abstract approved: Martin Erwig

  • 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:
    Composite Software Changes Abstract approved: Martin Erwig In a software development cycle, programs go

  • Spreadsheet Explanation Through Table Abstraction

    Creator:
    Dan, Mihai
    Abstract:
    Spreadsheets are a pervasive technology throughout personal and industrial use. Often times, the user is not the author, contributing to a lack of understanding of the purpose and functionality of a spreadsheet. Furthermore, the lack of understanding is a major reason for mistakes in the use and maintenance of spreadsheets....
    Resource Type:
    Masters Thesis
    Full Text:
    Through Table Abstraction Abstract approved: Martin Erwig Spreadsheets are a pervasive technology

  • Representing Program Edits with the Choice Calculus

    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:
    Program Edits with the Choice Calculus Abstract approved: Martin Erwig The problem of supporting more

  • 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:
    Abstract approved: Martin Erwig BoGL is a programming language created for the purpose of computer