Search Constraints

Start Over
Filtering by: Subject Domain-specific programming languages Remove constraint Subject: Domain-specific programming languages

Search Results

  • 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

  • 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

  • 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

  • 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