Search Constraints

Start Over
Filtering by: Creator Hellickson, Martin L. Remove constraint Creator: Hellickson, Martin L. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • 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:
    ;$:EN1=0k5mlKcZ3N$:9;$Ap4$/&D14F;L�$/*i5 ?/1ZE<5wWdF;cZ3<58(D?/M,&ucZ3<&xGe5N7;$:F;3N1@?'$/E

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Visual Traces for Program Explanations Abstract approved: Martin Erwig Correctness and efficiency are

  • 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

  • Automatic Explanations of Computation Results with Value Decompositions and Dominating Sets

    Creator:
    Kumar, Prashant
    Abstract:
    In an increasingly computation-driven world, algorithms and mathematical models significantly impact decision making across various fields. To foster trust and understanding, it is crucial to provide users with clear and concise explanations of the reasoning behind the results produced by computational tools, especially when recommendations appear counterintuitive. Legal frameworks in...
    Resource Type:
    Dissertation
    Full Text:
    approved: Martin Erwig In an increasingly computation-driven world, algorithms and mathematical models

  • 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:
    Querying Source Code Repositories Abstract approved: Martin Erwig The history of a software project

  • Automatic program generation for scientific computing

    Creator:
    Fu, Zhe
    Abstract:
    The code reuse problem is a common software engineering problem in scientific computing. As a prevailing programming language in many scientific fields, Fortran does not provide support to address this problem. One particular reason is that Fortran lacks the support for generic programming. By applying program-generation techniques, we developed two...
    Resource Type:
    Dissertation
    Full Text:
    Computing Abstract approved: Martin Erwig The code reuse problem is a common software engineering problem

  • 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:
    Application of Variational Representations Abstract approved: Martin Erwig Variability is an important and

  • 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

  • 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

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    31, 2013. Title: Adaptation-Based Programming Abstract approved: Martin Erwig Partial