We present the evolution of a reasoning system for inferring dimension information in
spreadsheets. The three papers included in this thesis show how the initial system can be
used to check the consistency of spreadsheet formulas and thus is able to detect errors in
spreadsheets, and the evolution to a...