Validating the unit correctness of spreadsheet programs

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 439-448

  Antoniu, Tudor ^a   Steckler, Paul A ^a   Krishnamurthi, Shriram ^b   Neuwirth, Erich ^c   Felleisen, Matthias ^d  

^a Blunk Microsystems ^*  (United States)

^b BROWN UNIVERSITY   (United States)

^c UNIVERSITY OF VIENNA   (Austria)

^d NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR PROPAGATION; EXCEL SPREADSHEETS; UNIT CORRECTNESS; XELDA;

COMPUTER CONTROL; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; ERROR ANALYSIS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

SPREADSHEETS;

EID: 4544328970     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. JPL Mars program. Mars Climate Orbiter Failure Board releases report, numerous NASA actions underway in response. Press release 99-134, Nov. 1999.
2. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A type system for statically detecting spreadsheet errors. In 18th IEEE Int. Conf. on Automated Software Engineering, 2003.
3. 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:155-206, 2001.
4. M. Burnett, C. Cook, O. Pendse, G. Rothermel, J. Summet, and C. Wallace. End-user software engineering with assertions in the spreadsheet paradigm. In 25th Intl. Conf. on Software Engineering, 2003.
5. M. Burnett and M. Erwig. Visually customizing inference rules about apples and oranges. In 2nd IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pages 140-148, 2002.
6. M. Erwig and M. Burnett. Adding apples and oranges. In Intl. Symp. on Practical Aspects of Declarative Languages, volume 2257, pages 173-191. Springer, 2002.
7. G. Filby, editor. Spreadsheets in Science and Engineering. Springer, 1995.
8. R. B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Sleekier, and M. Felleisen. DrScheme: A progamming environment for Scheme. Journal of Functional Programming, 12(2):159-182, March 2002.
9. C. Flanagan, M. Flatt, S. Krishnamurthi, S. Weirich, and M. Felleisen. Catching bugs in the web of program invariants. In Proc. ACM SIGPLAN Conf. on Programming language design and implementation (PLDI '96), pages 23-32, 1996.
10. N. Gehani. Units of measure as a data attribute. Computer Languages, 2:93-111, 1977.
11. J. Goubault. Inférence d'unités physiques en ML. Journées Francophones des Langages Applicatifs, pages 3-20, 1994.
12. R. House. A proposal for an extended form of type checking of expressions. Computer Journal, 26(4):366-374, 1983.
13. T. Igarashi, J. D. Mackinlay, B. W. Chang, and P. T. Zellweger. Fluid visualization for spreadsheet structures. In IEEE Symp. on Visual Languages, pages 118-125, Sept. 1998.
14. A. Kennedy. Programming Languages and Dimensions. PhD thesis, University of Cambridge, April 1996.
15. A.Kennedy. Relational parametricity and units of measure. In ACM Symp. on Principles of Programming Languages, pages 442-455, 1997.
16. G. S. Novak. Conversion of units of measure. IEEE Trans. Software Engineering, 21 (8):651-661, 1995.
17. R. R. Panko. What we know about spreadsheet errors. J. End User Computing, 10(2): 15-21, Spring 1998.
18. M. Rittri. Dimension inference under polymorphic recursion. In Functional Programming and Computer Architecture, pages 147-159, 1995.
19. G. Rothermel, M. Burnett, L. Li, C. Dupui, and A. Sheretov. A methodology for testing spreadsheets. ACM Transactions on Software Engineering and Methodology, 10:110-147, 2001.
20. P. A. Sleekler. Component support in PLT Scheme. Software-Practice and Experience, 32:933-954, 2002.
21. M. Wand. Finding the source of type errors. In ACM Symp. on Principles of Programming Languages, pages 38-43, 1986.
22. M. Wand and P. O'Keefe. Automatic dimensional inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: in honor of J. Alan Robinson, pages 479-486. MIT Press, 1991.
23. A. Wilson, M. Burnett, L. Beckwith, O. Granatir, L. Casburn, C. Cook, M. Durham, and G. Rothermel. Harnessing curiosity to increase correctness in end-user programming. ACM Conference on Human Factors in Computing Systems, pages 305-312, 2003.