Adding Apples and Oranges

  • Martin Erwig
  • Margaret Burnett
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2257)


We define a unit system for end-user spreadsheets that is based on the concrete notion of units instead of the abstract concept of types. Units are derived from header information given by spreadsheets. The unit system contains concepts, such as dependent units, multiple units, and unit generalization, that allow the classification of spreadsheet contents on a more fine-grained level than types do. Also, because communication with the end user happens only in terms of objects that are contained in the spreadsheet, our system does not require end users to learn new abstract concepts of type systems.


First-Order Functional Language Spreadsheet Type Checking Unit End-User Programming 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    N. Belkin. Helping People Find What They Don’t Know. Communications of the ACM, 41(8):58–61, 2000.CrossRefGoogle Scholar
  2. 2.
    B. Boehm and V. Basili. Gaining Intellectual Control of Software Development. Computer, 33(5):27–33, 2000.CrossRefGoogle Scholar
  3. 3.
    B. Boehm and V. Basili. Software Defect Reduction Top 10 List. Computer, 34(1):135–137, 2001.CrossRefGoogle Scholar
  4. 4.
    B. W. Boehm, C. Abts, A. W. Brown, S. Chulani, K. C. Bradford, E. Horowitz, R. Madachy, D. J. Reifer, and B. Steece, editors. Software Cost Estimation with COCOMO II. Prentice-Hall International, Upper Saddle River, NJ, 2000.Google Scholar
  5. 5.
    M. M. Burnett, A. Agrawal, and P. van Zee. Exception Handling in the Spreadsheet Paradigm. IEEE Transactions on Software Engineering, 26(10):923–942, 2000.CrossRefGoogle Scholar
  6. 6.
    M. M. Burnett, J. Atwood, R. Djang, H. Gottfried, J. Reichwein, and S. Yang. Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm. Journal of Functional Programming, 11(2):155–206, 2001.zbMATHGoogle Scholar
  7. 7.
    L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, 17(4):471–522, 1985.CrossRefGoogle Scholar
  8. 8.
    W. de Hoon, Rutten L., and M. van Eekelen. Implementing a Functional Spreadsheet in CLEAN. Journal of Functional Programming, 5(3):383–414, 1995.CrossRefGoogle Scholar
  9. 9.
    A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348–362, 1994.Google Scholar
  10. 10.
    A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442–455, 1997.Google Scholar
  11. 11.
    B. Myers, S. Hudson, and R. Pausch. Past, Present, and Future of User Interface Software Tools. ACM Transactions on Computer-Human Interaction, 7(1):3–28, 2000.CrossRefGoogle Scholar
  12. 12.
    B. Myers, D. Smith, and B. Horn. Report of the ‘End-User Programming’ Working Group. In B. Myers, editor, Languages for Developing User Interfaces, pages 343–366. A. K. Peters, Ltd., Wellesley, MA, 1992.Google Scholar
  13. 13.
    R. Panko. Finding Spreadsheet Errors: Most Spreadsheet Models Have Design Flaws that May Lead to Long-Term Miscalculation. Information Week, (May 29):100, 1995.Google Scholar
  14. 14.
    R. Panko. What We Know about Spreadsheet Errors. Journal of End User Computing, (Spring), 1998.Google Scholar
  15. 15.
    B. C. Pierce. Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science, 7(2):129–193, 1997.zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    T. Teo and M. Tan. Quantitative and Qualitative Errors in Spreadsheet Development. In 30th Hawaii Int. Conf. on System Sciences, pages 25–38, 1997.Google Scholar
  17. 17.
    M. Wand and P. O’Keefe. Automatic Dimensional Inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 479–483. MIT Press, Cambridge, MA, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Martin Erwig
    • 1
  • Margaret Burnett
    • 1
  1. 1.Department of Computer ScienceOregon State UniversityCorvallisUSA

Personalised recommendations