Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N. Belkin. Helping People Find What They Don’t Know. Communications of the ACM, 41(8):58–61, 2000.
B. Boehm and V. Basili. Gaining Intellectual Control of Software Development. Computer, 33(5):27–33, 2000.
B. Boehm and V. Basili. Software Defect Reduction Top 10 List. Computer, 34(1):135–137, 2001.
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.
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.
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.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, 17(4):471–522, 1985.
W. de Hoon, Rutten L., and M. van Eekelen. Implementing a Functional Spreadsheet in CLEAN. Journal of Functional Programming, 5(3):383–414, 1995.
A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348–362, 1994.
A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442–455, 1997.
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.
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.
R. Panko. Finding Spreadsheet Errors: Most Spreadsheet Models Have Design Flaws that May Lead to Long-Term Miscalculation. Information Week, (May 29):100, 1995.
R. Panko. What We Know about Spreadsheet Errors. Journal of End User Computing, (Spring), 1998.
B. C. Pierce. Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science, 7(2):129–193, 1997.
T. Teo and M. Tan. Quantitative and Qualitative Errors in Spreadsheet Development. In 30th Hawaii Int. Conf. on System Sciences, pages 25–38, 1997.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Erwig, M., Burnett, M. (2002). Adding Apples and Oranges. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_12
Download citation
DOI: https://doi.org/10.1007/3-540-45587-6_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43092-6
Online ISBN: 978-3-540-45587-5
eBook Packages: Springer Book Archive