Adding Apples and Oranges
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.
KeywordsFirst-Order Functional Language Spreadsheet Type Checking Unit End-User Programming
Unable to display preview. Download preview PDF.
- 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
- 9.A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348–362, 1994.Google Scholar
- 10.A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442–455, 1997.Google Scholar
- 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.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.R. Panko. What We Know about Spreadsheet Errors. Journal of End User Computing, (Spring), 1998.Google Scholar
- 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.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