Title :
Combining spatial and semantic label analysis
Author :
Chambers, Chris ; Erwig, Martin
Author_Institution :
Sch. of EECS, Oregon State Univ., Corvallis, OR, USA
Abstract :
In this paper we demonstrate how these two approaches can be combined. We have formalized a combined reasoning system and have implemented a corresponding prototype system. We have evaluated the system on the EUSES spreadsheet corpus. The evaluation has demonstrated that adding a syntactic, spatial analysis to a dimension inference can significantly improve the rate of detected errors.
Keywords :
inference mechanisms; program verification; software prototyping; spreadsheet programs; EUSES spreadsheet corpus; dimension inference; prototype system; reasoning system; semantic label analysis; spatial label analysis; Computer languages; Concrete; Error analysis; Information analysis; Measurement errors; Measurement units; Prototypes;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2009. VL/HCC 2009. IEEE Symposium on
Conference_Location :
Corvallis, OR
Print_ISBN :
978-1-4244-4876-0
DOI :
10.1109/VLHCC.2009.5295258
