Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Peer Reviewed Yes Remove constraint Peer Reviewed: Yes

Search Results

  • A Visual Language for Explaining Probabilistic Reasoning

    Creator:
    Erwig, Martin and Walkingshaw, Eric
    Abstract:
    We present an explanation-oriented, domain-specific, visual language for explaining probabilistic reasoning. Explanation-oriented programming is a new paradigm that shifts the focus of programming from the computation of results to explanations of how those results were computed. Programs in this language therefore describe explanations of probabilistic reasoning problems. The language relies...
    Resource Type:
    Article
    Full Text:
    Martin Erwig, Eric Walkingshaw School of EECS, Oregon State University, Corvallis, OR 97331, USA

  • Extending Type Inference to Variational Programs

    Creator:
    Chen, Sheng, Erwig, Martin, and Walkingshaw, Eric
    Abstract:
    Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is difficult. The brute-force strategy of generating all variants and typing each one individually is (1) usually infeasible for efficiency...
    Resource Type:
    Article
    Full Text:
    Programs SHENG CHEN, MARTIN ERWIG, and ERIC WALKINGSHAW, Oregon State University Through the use of