loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th IEEE International Conference on Automated Software Engineering (ASE'03)
A Type System for Statically Detecting Spreadsheet Errors
Montreal, Quebec, Canada
October 06-October 10
ISBN: 0-7695-2035-9
Yanif Ahmad, Brown University, Providence, RI
Tudor Antoniu, Brown University, Providence, RI
Sharon Goldwater, Brown University, Providence, RI
Shriram Krishnamurthi, Brown University, Providence, RI
We describe a methodology for detecting user errors in spreadsheets, using the notion of units as our basic elements of checking. We define the concept of a header and discuss two types of relationships between headers, namely is-a and has-a relationships. With these, we develop a set of rules to assign units to cells in the spreadsheet. We check for errors by ensuring that every cell has a well-formed unit. We describe an implementation of the system that allows the user to check Microsoft Excel spreadsheets. We have run our system on practical examples, and even found errors in published spreadsheets.
Citation:
Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi, "A Type System for Statically Detecting Spreadsheet Errors," ase, pp.174, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.