Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Decade 2010-2019 Remove constraint Decade: 2010-2019

Search Results

  • A Formal Foundation for Variational Programming Using the Choice Calculus

    Creator:
    Hubbard, Spencer
    Abstract:
    In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the...
    Resource Type:
    Masters Thesis
    Full Text:
    for Variational Programming Using the Choice Calculus Abstract approved: Eric T. Walkingshaw In this

  • Imperative Programming with Variational Effects

    Creator:
    Grasley, Alexander B.
    Abstract:
    Variation is a commonly encountered element of modern software systems. Recent research into variation has led to increasing interest in the development of variational programming languages and corresponding variational models of execution. Variational imperative languages pose a particular challenge due to the complex interactions between side effects and variation. The...
    Resource Type:
    Masters Thesis
    Full Text:
    Variational Effects Abstract approved: Eric T. Walkingshaw Variation is a commonly encountered element of

  • View-based editing of variational code

    Creator:
    Van de Wetering, Miles
    Abstract:
    This paper discusses the merits of providing users variational views when editing variational code. I provide a plugin for the popular Atom Integrated Development Environment (IDE) which replaces #ifdef annotations commonly used by the C PreProcessor (CPP) with colored backgrounds, thus reducing code clutter and attempting to help programmers quickly...
    Resource Type:
    Honors College Thesis
    Full Text:
    . Title: View-based Editing of Variational Code Abstract approved: Eric Walkingshaw This paper

  • Application of the Variational Database Management System to Schema Evolution and Software Product Lines

    Creator:
    Li, Qiaoran
    Abstract:
    As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
    Resource Type:
    Capstone Project
    Full Text:
    : Eric Walkingshaw As a general solution to the problem of managing structural and content variability

  • ScaleIO Storage Driver: A Template Driver for CoprHD

    Creator:
    Shujin, Wu and Wu, Shujin
    Abstract:
    CoprHD is an open source software-defined storage and API platform which creates an abstraction layer over multi-vendor heterogeneous storage systems. It offers the ability to discover, pool and automate the management of the storage ecosystem with the help of storage drivers establishing connections between CoprHD and storage systems. On the...
    Resource Type:
    Capstone Project
    Full Text:
    Template Driver for CoprHD Abstract approved: Eric Walkingshaw CoprHD is an open source software-defined

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    Abstract approved: Eric Walkingshaw The Rust programming language is a systems programming language with

  • Domain-specific language support for experimental game theory

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

  • 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

  • Features and Feature Models: A Survey of Variation Representations

    Creator:
    Walkingshaw, Eric
    Abstract:
    This survey explores and organizes existing work on the long-term management of software that varies in multiple dimensions. It focuses, in particular, on the representation of features in software product lines, and on capturing relationships between features in feature models.
    Resource Type:
    Other
    Full Text:
    Representations Eric Walkingshaw School of EECS Oregon State University walkiner@eecs.oregonstate.edu Abstract

  • Implementation Techniques for Variational Data Structures

    Creator:
    Meng, Meng
    Abstract:
    Many applications require not only representing variability in software and data, butalso computing with it. To do so efficiently requires variational data structures thatmake variability explicit in the underlying data and the operations used to manipulate it.Variational data structures have been developed ad hoc for many applications, but thereis little...
    Resource Type:
    Masters Thesis
    Full Text:
    Techniques for Variational Data Structures Abstract approved: Eric T. Walkingshaw Many applications require