Search Constraints

Start Over
Filtering by: Subject Calculus of tensors Remove constraint Subject: Calculus of tensors Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science Contributor advisor sim Walkingshaw, Eric Remove constraint Contributor advisor sim: Walkingshaw, Eric

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