Search Constraints

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

Search Results

  • 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