Gencel : a program generator for correct spreadsheets Public Deposited

http://ir.library.oregonstate.edu/concern/technical_reports/mk61rj204

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • 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 of which have serious impacts. We argue in favor of creating a formal foundation for spreadsheets to help improve spreadsheet systems and make spreadsheets more reliable software assets. To this end, we have developed a table specification language that allows the definition of table templates that describe possible spreadsheet evolutions. This language is based on a table calculus that formally captures the process of creating and modifying spreadsheets. We have developed a type system for this calculus that can prevent type, reference, and omission errors from occurring in spreadsheets. On the basis of the table calculus we have developed Gencel, a system for generating reliable spreadsheets. We have implemented a prototype version of Gencel as an extension of Excel. A pilot study has indicated that the system is well accepted by end-user programmers.
Resource Type
Date Available
Date Issued
Series
Keyword
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2012-12-04T17:24:10Z (GMT) No. of bitstreams: 1 2004-76.pdf: 670456 bytes, checksum: 651ebb2b6089e473b81cfd4131833d89 (MD5)
  • description.provenance : Made available in DSpace on 2012-12-04T17:24:10Z (GMT). No. of bitstreams: 1 2004-76.pdf: 670456 bytes, checksum: 651ebb2b6089e473b81cfd4131833d89 (MD5) Previous issue date: 2004-12-21
  • description.provenance : Submitted by Laura Wilson (laura.wilson@oregonstate.edu) on 2012-12-04T17:22:58Z No. of bitstreams: 1 2004-76.pdf: 670456 bytes, checksum: 651ebb2b6089e473b81cfd4131833d89 (MD5)

Relationships

Parents:

This work has no parents.

Last modified

Downloadable Content

Download PDF

Items