Index Catalog // ScholarsArchive@OSU

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

Creator:: Gottfried, Herkimer John
Abstract:: Until now, attempts to extend the one-way constraint evaluation model of the spreadsheet paradigm to support complex objects, such as colored circles or user-defined types, have led to approaches featuring either a direct way of creating objects graphically or strong compatibility with the spreadsheet paradigm, but not both. This inability...
Resource Type:: Masters Thesis

Creator:: Krishna, Vijay B.
Abstract:: Spreadsheet language programs, which include commercial spreadsheets, are among the most common form of software in use today. Unlike more "traditional" forms of software however, spreadsheet language programs are created and maintained by end-users with little or no programming experience. As a result, a high percentage of these programs contain...
Resource Type:: Masters Thesis

Creator:: Beckwith, Laura A.
Abstract:: Traditionally, research into end-user programming has focused on how to make programming more accessible to end users. However, few researchers have considered providing end users with devices to help improve the reliability of the programs they create. To help improve the reliability of spreadsheets created by end users, we are...
Resource Type:: Masters Thesis

Creator:: Oregon State University. Dept. of Computer Science, Creelan, Tyler, and Fisher, Marc Randall
Abstract:: The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel...
Resource Type:: Research Paper

Creator:: Summet, Jay W.
Abstract:: 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...
Resource Type:: Masters Thesis

ScholarsArchive@OSU