A type system for statically detecting spreadsheet errors

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 174-183

  Ahmad, Yanif ^a   Antoniu, Tudor ^a   Goldwater, Sharon ^a   Krishnamurthi, Shriram ^a  

^a Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS;

BASIC-ELEMENTS; EXCEL SPREADSHEETS; MICROSOFT EXCEL; SET OF RULES; TYPE SYSTEMS;

SPREADSHEETS;

EID: 85117421278     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240305     Document Type: Conference Paper

References (18)

1. M. M. Burnett, J. Atwood, R. Djang, H. Gottfried, J. Rechwein, and S.Yang. Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm. Journal of Functional Programming, 10(2):155-206, 2001.
2. M. Erwig and M. Burnett. Adding apples and oranges. In Practical Aspects of Declarative Languages (PADL), 2002.
3. M. Erwig and M. Burnett. Visually Customizing Inference Rules About Apples and Oranges In 2nd IEEE International Symposium on Human Centric Computer Languages and Environments, 2002.
4. D. Bricklin and B. Frankston. VisiCalc. http://www.bricklin.com/visicalc.htm.
5. C. Fellbaum, editor. WordNet: An Electronic Lexical Database. MIT Press, 1998.
6. R. B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. DrScheme: A programming environment for Scheme. 12(2):159-182, 2002.
7. A. I. Katz. Academic Computing In U.S. Colleges And Universities: A Survey. Journal of Information Systems Education, 4(4), December 1992.
8. A. Kennedy. Dimension types. In D. Sannella, editor, European Symposium on Programming, volume 788, pages 348-362, Edinburgh, U.K., 11-13 1994. Springer.
9. Microsoft Corporation. Microsoft Component Object Model. http://www.microsoft.com/com.
10. Microsoft Corporation. Microsoft Excel. http://www.microsoft.com/excel.
11. R. Panko. Finding Spreadsheet Errors: Most spreadsheet models have design flaws that may lead to long-term miscalculations. In InformationWeek, May 1995. http://www.informationweek.com/529/29uwfw.htm.
12. R. Panko and R. Halverson. Spreadsheets on trial: A survey of research on spreadsheet risks. In Twenty-Ninth Hawaii International Conference on System Sciences, January 1996.
13. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
14. G. Filby. Spreadsheets in Science and Engineering. Springer, 1995.
15. A. Ricadela and J. Maselli. To The Middle: Big ERP vendors haven't done well in the midmarket. Can Microsoft do better?, May 2002. http://www.informationweek.com/story/IWK20020-517S0043.
16. E. Colkin. Nasdaq Giving XBRL A Try. In InformationWeek, August 2002. http://www.informationweek.com/story/IWK20-020806S0004.
17. G. Rothermel, M. Burnett, L. Li, C. Dupuis, and A. Sheretov. A methodology for testing spreadsheets. ACM Transactions on Software Engineering and Methodology, 10(1):110-147, 2001.
18. P. A. Steckler. MysterX: A Scheme toolkit for building interactive applications with COM. In Technology of Object-Oriented Languages and Systems, pages 364-373. IEEE, August 1999.