Sciweavers

VL
2008
IEEE
119views Visual Languages» more  VL 2008»
14 years 6 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 ...
Chris Chambers, Martin Erwig
VL
2009
IEEE
157views Visual Languages» more  VL 2009»
14 years 7 months ago
Combining spatial and semantic label analysis
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
Chris Chambers, Martin Erwig