Search Constraints

Start Over
Filtering by: Subject Calculus of tensors Remove constraint Subject: Calculus of tensors Committee Member Niess, Maggie Remove constraint Committee Member: Niess, Maggie

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:
    thesis, we present semantic equivalence rules for an extension of the choice calculus and sound

  • 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