Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Contributor Walkingshaw, Eric Creator Erwig, Martin

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