Authors
Mark E. Stewart
Abstract
This paper demonstrates a self-checking (self-validating) spreadsheet. This checking analyzes the meaning or semantics of the spreadsheet's variables and equations using a parsing scheme.
These semantics go beyond dimension, unit, and type checking to include the physical and mathematical formulae that dominate science, engineering, and mathematics. The spreadsheet is a client, JavaScript web application working with a server application. Entries in the spreadsheet are analyzed by semantic parsers on the server, and the representation and recognition of spreadsheet semantics are detailed.
The intent of this prototype is to reduce the errors—errors in meaning—that commonly occur when spreadsheets are used.
Sample
Relevant information is returned by the equation recognition program to the client spreadsheet for display. When the cursor is over a cell, a pop-up (blue rectangle) displays symbols, identity, units, definition, and any warnings.
Publication
2013, Procedia Computer Science, Volume 18, June, pages 199-207
