Dimension inference in spreadsheets

10 years 4 months ago
Dimension inference in spreadsheets
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to detect errors in spreadsheets. We have prototypically implemented the system as an add-in to Excel. In an evaluation of this implementation we were able to detect dimension errors in almost 50% of the investigated spreadsheets, which shows (i) that the system works reliably in practice and (ii) that dimension information can be well exploited to uncover errors in spreadsheets.
Chris Chambers, Martin Erwig
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where VL
Authors Chris Chambers, Martin Erwig
Comments (0)