Gencel: A program generator for correct spreadsheets

Journal of Functional Programming

Volumn 16, Issue 3, 2006, Pages 293-325

  Erwig, Martin ^a   Abraham, Robin ^a   Kollmansberger, Steve ^a   Cooperstein, Irene ^b  

^a OREGON STATE UNIVERSITY   (United States)

^b UNIVERSITY OF HOUSTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREA; EXCEL; FUNCTIONAL PROGRAMS; OMISSION ERRORS; PROTOTYPE VERSIONS; QUALITY LEVELS; THEORY AND PRACTICE; TYPE SYSTEMS;

CALCULATIONS; ERRORS; FUNCTIONAL PROGRAMMING; SPECIFICATION LANGUAGES;

SPREADSHEETS;

EID: 33646385137     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796805005794     Document Type: Article

References (39)

1. Abraham, R. and Erwig, M. (2004) Header and Unit Inference for Spreadsheets Through Spatial Analyses. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 165-172.
2. Abraham, R. and Erwig, M. (2005) Goal-Directed Debugging of Spreadsheets. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 189-196.
3. Abraham, R., Erwig, M., Kollmansberger, S. and Seifert, E. (2005) Visual Specifications of Correct Spreadsheets. IEEE Int. Symp. on Visual Languages and Human-Centric Computing. pp. 37-44.
4. Ahmad, Y., Antoniu, T., Goldwater, S. and Krishnamurthi, S. (2003) A Type System for Statically Detecting Spreadsheet Errors. 18th IEEE Int. Conf. on Automated Software Engineering, pp. 174-183.
5. Antoniu, T., Steekler, P. A., Krishnamurthi, S., Neuwirth, E. and Felleisen. M. (2004) Validating the Unit Correctness of Spreadsheet Programs. 26th IEEE Int. Conf. on Software Engineering, pp. 439-448.
6. Brown, P. S. and Gould, J. D. (1987) An Experimental Study of People Creating Spreadsheets. ACM Irans. Office Infor. Syst. 5(3), 258-272.
7. Burnett, M. M. and Erwig, M. (2002) Visually Customizing Inference Rules About Apples and Oranges. 2nd IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pp. 140-148.
8. Burnett, M. M., Atwood, J., Djang, R., Gottfried, H., Reichwein, J. and Yang, S. (2001) Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm. J. Funct. Program., 11(2), 155-206.
9. Burnett, M. M., Cook, C., Summet, J., Rothermel, G. and Wallace, C. (2003) End-User Software Engineering with Assertions. 25th IEEE Int. Conf. on Software Engineering, pp. 93-103.
10. Charniak, E. (1996) Statistical Language Learning. MIT Press.
11. de Hoon, W. A. C. A. J., Rutten, L. M. W. J. and van Eekelen, M. C. J. D. (1995) Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5(3), 383-414.
12. Ditlea, S. (1987) Spreadsheets Can be Hazardous to Your Health. Personal Comput. 11(1), 60-69.
13. Erwig, M. and Burnett, M. M. (2002) Adding Apples and Oranges. 4th Int. Symp. on Practical Aspects of Declarative Languages, pp. 173-191. LNCS 2257.
14. Erwig, M., Abraham, R., Cooperstein, I. and Kollmansberger, S. (2005) Automatic Generation and Maintenance of Correct Spreadsheets. 27th IEEE Int. Conf. on Software Engineering, pp. 136-145.
15. Fisher II, M., Cao, M., Rothermel, G., Cook, C. and Burnett, M. M. (2002) Automated Test Case Generation for Spreadsheets. 24th IEEE Int. Conf. on Software Engineering, pp. 141-151.
16. GHC. (2004) The Glasgow Haskell Compiler. http://haskell.org/ghc.
17. Gilman, H. and Bulkeley, W. (1986) Can Software Firms be Held Responsible When a Program Makes a Costly Error? Wall Street J. CCVII(24), 17.
18. Green, T. R. G. and Petre, M. (1996) Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework. J. Visual Lang. & Comput. 7(2), 131-174.
19. Hayen, R. L. and Peters, R. M. (1989) How to Ensure Spreadsheet Integrity. Management Accounting, 60(9), 30-33.
20. Hendry, D. G. and Green, T. R. G. (1994) Creating, Comprehending and Explaining Spreadsheets: A Cognitive Interpretation of What Discretionary Users Think of the Spreadsheet Model. Int. J. Human-Computer Stud. 40, 1033-1065.
21. Isakowitz, T., Schocken, S. and Lucas, Jr., H. C. (1995) Toward a Logical/Physical Theory of Spreadsheet Modelling. ACM Trans. Infor. Syst. 13(1), 1-37.
22. Kay, A. (1984) Computer Software. Sci. Am. 251(3), 41-47.
23. Lerch, J. F., Mantei, M. M. and Olson, J. R. (1989) Skilled Financial Planning: The Cost of Translating Ideas Into Action. ACM Conf. on Human Factors in Computing Systems, pp. 121-126.
24. Lewis, C. and Olson, G. M. (1987) Can Principles of Cognition Lower the Barriers to Programming? 2nd Workshop on Empirical Studies of Programmers, pp. 248-263.
25. Lisper, B. and Malmström, J. (2002) Haxcel: A Spreadsheet Interface to Haskell. 14th Int. Workshop on the Implementation of Functional Languages, pp. 206-222.
26. Mittermeir, R. and Clermont, M. (2002) Finding High-Level Structures in Spreadsheet Programs. 9th Working Conference on Reverse Engineering, pp. 221-232.
27. Norman, D. A. (1986) Cognitive Engineering. In: Norman, D. A. and Draper, S. W. (editors), User-Centered System Design, pp. 31-61. Lawrence Erlbaum.
28. Panko, R. R. (2000) Spreadsheet Errors: What We Know. What We Think We Can Do. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG).
29. Peyton Jones, S. L. (2003) Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press.
30. Peyton Jones, S. L., Blackwell, A. and Burnett, M. M. (2003) A User-Centered Approach to Functions in Excel. ACM Int. Conf. on Functional Programming, pp. 165-176.
31. Prabhakarao, S., Cook, C., Ruthruff, J., Creswick, E., Main, M., Durham, M. and Burnett, M. (2003) Strategies and Behaviors of End-User Programmers with Interactive Fault Localization. IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pp. 203-210.
32. Rajalingham, K., Chadwick, D. R. and Knight, B. (2001) Classification of Spreadsheet Errors. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG).
33. Ronen, B., Palley, M. A. and Lucas, Jr., H. C. (1989) Spreadsheet Analysis and Design. Comm. ACM, 32(1), 84-93.
34. Rothermel. G., Burnett, M. M., Li, L., DuPuis, C. and Sheretov, A. (2001) A Methodology for Testing Spreadsheets. ACM Trans. Softw. Eng. & Methodology, 110-147.
35. Ruthruff, J., Creswick, E., Burnett, M. M., Cook, C., Prabhakararao, S., Fisher II, M. and Main, M. (2003) End-User Software Visualizations for Fault Localization. ACM Symp. on Software Visualization, pp. 123-132.
36. Sajaniemi, J. (2000) Modeling Spreadsheet Audit: A Rigorous Approach to Automatic Visualization. J. Visual Lang. & Comput. 11, 49-82.
37. U.S. Department of Education (2003) Audit of the Colorado Student Loan Program's Establishment and Use of Federal and Operating Funds for the Federal Family Education Loan Program. Report ED-OIG/A07-C0009.
38. U.S. Department of Health and Human Services (2003) Review of Medicare Bad Debts at Pitt County Memorial Hospital. Report A-04-02-02016.
39. Yoder, A. G. and Cohn, D. L. (1994) Real Spreadsheets for Real Programmers. Int. Conf. on Computer Languages, pp. 20-30.