DocumentCode
2007993
Title
Combining spatial and semantic label analysis
Author
Chambers, Chris ; Erwig, Martin
Author_Institution
Sch. of EECS, Oregon State Univ., Corvallis, OR, USA
fYear
2009
fDate
20-24 Sept. 2009
Firstpage
225
Lastpage
232
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages and Human-Centric Computing, 2009. VL/HCC 2009. IEEE Symposium on
Conference_Location
Corvallis, OR
ISSN
1943-6092
Print_ISBN
978-1-4244-4876-0
Type
conf
DOI
10.1109/VLHCC.2009.5295258
Filename
5295258
Link To Document