Dimension Inference in Spreadsheets

被引：9
|
作者：
Chambers, Chris [1 ]
Erwig, Martin [1 ]
机构：
[1] Oregon State Univ, Corvallis, OR 97331 USA
来源：
2008 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2008年
关键词：
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 条
  • [1] Model inference for spreadsheets
    Jácome Cunha
    Martin Erwig
    Jorge Mendes
    João Saraiva
    [J]. Automated Software Engineering, 2016, 23 : 361 - 392
  • [2] Model inference for spreadsheets
    Cunha, Jacome
    Erwig, Martin
    Mendes, Jorge
    Saraiva, Joao
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2016, 23 (03) : 361 - 392
  • [3] Automatic detection of dimension errors in spreadsheets
    Chambers, Chris
    Erwig, Martin
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2009, 20 (04): : 269 - 283
  • [4] A Machine Learning Approach for Layout Inference in Spreadsheets
    Koci, Elvis
    Thiele, Maik
    Romero, Oscar
    Lehner, Wolfgang
    [J]. KDIR: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 1, 2016, : 77 - 88
  • [5] SPREADSHEETS ENTER THE 3RD DIMENSION
    KULL, D
    [J]. COMPUTER DECISIONS, 1985, 17 (22): : 44 - &
  • [6] Header and unit inference for spreadsheets through spatial analyses
    Abraham, R
    Erwig, M
    [J]. 2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, : 165 - 172
  • [7] ON POST DIMENSION REDUCTION STATISTICAL INFERENCE
    Kim, Kyongwon
    Li, Bing
    Yu, Zhou
    Li, Lexin
    [J]. ANNALS OF STATISTICS, 2020, 48 (03): : 1567 - 1592
  • [8] A note on sufficient dimension reduction with post dimension reduction statistical inference
    Kim, Kyongwon
    [J]. ASTA-ADVANCES IN STATISTICAL ANALYSIS, 2023,
  • [9] Explaining Spreadsheets with Spreadsheets (Short Paper)
    Cunha, Jacome
    Dan, Mihai
    Erwig, Martin
    Fedorin, Danila
    Grejuc, Alex
    [J]. PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE'18), 2018, : 161 - 167
  • [10] Statistical inference for the tangency portfolio in high dimension
    Karlsson, Sune
    Mazur, Stepan
    Muhinyuza, Stanislas
    [J]. STATISTICS, 2021, 55 (03) : 532 - 560
12345