Spreadsheet languages are the most commonly used end-user programming paradigm, yet
spreadsheets commonly contain errors. Research shows that a significant number of
spreadsheets (20%-40%) created by end users contain errors. In an attempt to reduce this
error rate, this work presents an assertion propagation system for an end-user spreadsheet
programming language, along with proofs of correctness, and complexity analysis. In
addition to the traditional benefits of assertions (dynamic error checking and the
documentation of programmer assumptions) this system deductively propagates the
implications of assertions. This propagation adds two benefits, the cross-checking of
program logic, and additional immediate visual feedback about the range of behavior of
the program code for the end-user. / Graduation date: 2002
| Identifer | oai:union.ndltd.org:ORGSU/oai:ir.library.oregonstate.edu:1957/30003 |
| Date | 23 July 2001 |
| Creators | Summet, Jay W. |
| Contributors | Burnett, Margaret M. |
| Source Sets | Oregon State University |
| Language | en_US |
| Detected Language | English |
| Type | Thesis/Dissertation |
Page generated in 0.0024 seconds