Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Kollmansberger, Steven

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
Gencel : a program generator for correct spreadsheets

Creator:

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

Abstract:

A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (functional) programs, few formal models of computation and type systems exist that would provide the foundation for creating reliable spreadsheets. Consequently, existing spreadsheets contain many errors, some...

Resource Type:

Research Paper
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