End-user assertions : propagating their implications Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/r207ts77c

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • 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.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome, 8-bit Grayscale) using ScandAll PRO 1.8.1 on a Fi-6670 in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Submitted by Kirsten Clark (kcscannerosu@gmail.com) on 2012-04-26T00:27:58Z No. of bitstreams: 1 SummetJayW2002.pdf: 4204589 bytes, checksum: d9dc9789b5c0040875b38a5a19d75f20 (MD5)
  • description.provenance : Made available in DSpace on 2012-06-20T16:47:20Z (GMT). No. of bitstreams: 1 SummetJayW2002.pdf: 4204589 bytes, checksum: d9dc9789b5c0040875b38a5a19d75f20 (MD5) Previous issue date: 2001-07-23
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2012-06-19T17:24:50Z (GMT) No. of bitstreams: 1 SummetJayW2002.pdf: 4204589 bytes, checksum: d9dc9789b5c0040875b38a5a19d75f20 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2012-06-20T16:47:20Z (GMT) No. of bitstreams: 1 SummetJayW2002.pdf: 4204589 bytes, checksum: d9dc9789b5c0040875b38a5a19d75f20 (MD5)

Relationships

In Administrative Set:
Last modified: 08/20/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items