{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:11Z","timestamp":1763467811280},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430926"},{"type":"electronic","value":"9783540455875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_12","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T17:19:19Z","timestamp":1182705559000},"page":"173-191","source":"Crossref","is-referenced-by-count":31,"title":["Adding Apples and Oranges"],"prefix":"10.1007","author":[{"given":"Martin","family":"Erwig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margaret","family":"Burnett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"issue":"8","key":"12_CR1","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/345124.345143","volume":"41","author":"N. Belkin","year":"2000","unstructured":"N. Belkin. Helping People Find What They Don\u2019t Know. Communications of the ACM, 41(8):58\u201361, 2000.","journal-title":"Communications of the ACM"},{"issue":"5","key":"12_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MC.2000.841781","volume":"33","author":"B. Boehm","year":"2000","unstructured":"B. Boehm and V. Basili. Gaining Intellectual Control of Software Development. Computer, 33(5):27\u201333, 2000.","journal-title":"Computer"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B. Boehm","year":"2001","unstructured":"B. Boehm and V. Basili. Software Defect Reduction Top 10 List. Computer, 34(1):135\u2013137, 2001.","journal-title":"Computer"},{"key":"12_CR4","unstructured":"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."},{"issue":"10","key":"12_CR5","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1109\/32.879817","volume":"26","author":"M. M. Burnett","year":"2000","unstructured":"M. M. Burnett, A. Agrawal, and P. van Zee. Exception Handling in the Spreadsheet Paradigm. IEEE Transactions on Software Engineering, 26(10):923\u2013942, 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1017\/S0956796800003828","volume":"11","author":"M. M. Burnett","year":"2001","unstructured":"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\u2013206, 2001.","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1017\/S0956796800001404","volume":"5","author":"W. Hoon de","year":"1995","unstructured":"W. de Hoon, Rutten L., and M. van Eekelen. Implementing a Functional Spreadsheet in CLEAN. Journal of Functional Programming, 5(3):383\u2013414, 1995.","journal-title":"Journal of Functional Programming"},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-57880-3_23","volume-title":"Dimension Types","author":"A. Kennedy","year":"1994","unstructured":"A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348\u2013362, 1994."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442\u2013455, 1997.","DOI":"10.1145\/263699.263761"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/344949.344959","volume":"7","author":"B. Myers","year":"2000","unstructured":"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\u201328, 2000.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1201\/9781439865439","volume-title":"Languages for Developing User Interfaces","author":"B. Myers","year":"1992","unstructured":"B. Myers, D. Smith, and B. Horn. Report of the \u2018End-User Programming\u2019 Working Group. In B. Myers, editor, Languages for Developing User Interfaces, pages 343\u2013366. A. K. Peters, Ltd., Wellesley, MA, 1992."},{"key":"12_CR13","unstructured":"R. Panko. Finding Spreadsheet Errors: Most Spreadsheet Models Have Design Flaws that May Lead to Long-Term Miscalculation. Information Week, (May 29):100, 1995."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"R. Panko. What We Know about Spreadsheet Errors. Journal of End User Computing, (Spring), 1998.","DOI":"10.4018\/joeuc.1998040102"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S096012959600223X","volume":"7","author":"B. C. Pierce","year":"1997","unstructured":"B. C. Pierce. Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science, 7(2):129\u2013193, 1997.","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"T. Teo and M. Tan. Quantitative and Qualitative Errors in Spreadsheet Development. In 30th Hawaii Int. Conf. on System Sciences, pages 25\u201338, 1997.","DOI":"10.1109\/HICSS.1997.661583"},{"key":"12_CR17","first-page":"479","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"M. Wand","year":"1991","unstructured":"M. Wand and P. O\u2019Keefe. Automatic Dimensional Inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 479\u2013483. MIT Press, Cambridge, MA, 1991."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T04:56:18Z","timestamp":1587617778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001,12,20]]}}}