Dimension Inference in Spreadsheets

被引:9
|
作者
Chambers, Chris [1 ]
Erwig, Martin [1 ]
机构
[1] Oregon State Univ, Corvallis, OR 97331 USA
关键词
D O I
10.1109/VLHCC.2008.4639072
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We present a reasoning system for inferring dimension information in spreadsheets. This system can be use to check the consistency of spreadsheet formulas and can be employed to detect errors in spreadsheets. We have prototypically implemented the system as an add-in to Excel. In an evaluation of this implementation we were able to detect dimension errors in almost 50% of the investigated spreadsheets, which shows (i) that the system works reliably in practice and (d) that dimension information can be well exploited to uncover errors in spreadsheets.
引用
收藏
页码:123 / 130
页数:8
相关论文
共 50 条
  • [31] ENGINEERING WITH SPREADSHEETS
    KLEINER, DE
    [J]. CIVIL ENGINEERING, 1985, 55 (10): : 55 - 57
  • [32] Overlay Spreadsheets
    Kennedy, Oliver
    Glavic, Boris
    Brachmann, Michael
    [J]. WORKSHOP ON HUMAN-IN-THE-LOOP DATA ANALYTICS, HILDA 2023, 2023,
  • [33] Rattlesnakes and spreadsheets
    Golio, Mike
    [J]. IEEE MICROWAVE MAGAZINE, 2006, 7 (05) : 6 - +
  • [34] Rework the spreadsheets
    Osenga, M
    [J]. DIESEL PROGRESS NORTH AMERICAN EDITION, 2001, 67 (11): : 2 - 2
  • [35] SPREADSHEETS WITH STYLE
    ANTONOFF, M
    [J]. PERSONAL COMPUTING, 1990, 14 (03): : 72 - &
  • [36] SAYING IT WITH SPREADSHEETS
    SEHR, R
    [J]. PERSONAL COMPUTING, 1984, 8 (08): : 79 - &
  • [37] DEBUGGING SPREADSHEETS
    PRESS, L
    [J]. ABACUS-NEW YORK, 1985, 2 (03): : 54 - 59
  • [38] THE NEW SPREADSHEETS
    ANTONOFF, M
    [J]. PERSONAL COMPUTING, 1985, 9 (11): : 107 - &
  • [39] Spreadsheets in business
    [J]. Pemberton, J.D., 2000, Emerald Group Publishing Ltd. (100):
  • [40] THE TROUBLE WITH SPREADSHEETS
    BERRY, T
    [J]. PERSONAL COMPUTING, 1989, 13 (07): : 61 - 63