Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Kollmansberger, Steven Creator Erwig, Martin

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