Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Subject Programming languages (Electronic computers) -- Standards Creator Kollmansberger, Steven

A domain-specific embedded language for probabilistic programming

Creator:

Kollmansberger, Steven

Abstract:

Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...

Resource Type:

Masters Thesis

Full Text:

Language for Probabilistic Programming Abstract approved: Martin Erwig Functional programming is
Visual specifications of correct spreadsheets

Creator:

Oregon State University. Dept. of Computer Science, Abraham, Robin, Erwig, Martin, Kollmansberger, Steven, and Seifert, Ethan

Abstract:

We introduce a visual specification language for spreadsheets that allows the definition of spreadsheet templates. These templates are used by a spreadsheet generator to create Excel spreadsheets that are probably free from a large class of errors, such as reference, omission, and type errors. We demonstrate how spreadsheets can be...

Resource Type:

Research Paper

Full Text:

by a number of features found in other programming languages. The language contains many experimental