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