Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Subject Calculus of variations Remove constraint Subject: Calculus of variations

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

  • 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