{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:53:11Z","timestamp":1790927591857,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662466681","type":"print"},{"value":"9783662466698","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46669-8_2","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T18:37:37Z","timestamp":1427913457000},"page":"26-52","source":"Crossref","is-referenced-by-count":6,"title":["Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection"],"prefix":"10.1007","author":[{"given":"Tie","family":"Cheng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Rival","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Report of JPMorgan Chase & Co. management task force regarding 2012 CIO losses (January 2013)"},{"key":"2_CR2","unstructured":"MS-VBAL: VBA language specification. Tech. rep., Microsoft Corporation (April 2014)"},{"key":"2_CR3","unstructured":"Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analyses. In: Visual Languages and Human-Centric Computing. IEEE Computer Society (2004)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. (2007)","DOI":"10.1109\/ICSE.2007.39"},{"key":"2_CR5","unstructured":"Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. In: ASE (2003)"},{"key":"2_CR6","unstructured":"Antoniu, T., Steckler, P.A., Krishnamurthi, S., Neuwirth, E., Felleisen, M.: Validating the unit correctness of spreadsheet programs. In: International Conference on Software Engineering (2004)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Burnett, M., Atwood, J., Walpole Djang, R., Reichwein, J., Gottfried, H., Yang, S.: Forms\/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm (2001)","DOI":"10.1017\/S0956796800003828"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-33125-1_9","volume-title":"Static Analysis","author":"T. Cheng","year":"2012","unstructured":"Cheng, T., Rival, X.: An abstract domain to infer types over zones in spreadsheets. In: Min\u00e9, A., Schmidt, D. (eds.) SAS 2012. LNCS, vol.\u00a07460, pp. 94\u2013110. Springer, Heidelberg (2012)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Coblenz, M.J., Ko, A.J., Myers, B.A.: Using objects of measurement to detect spreadsheet errors. In: Visual Languages and Human-Centric Computing (2005)","DOI":"10.1109\/VLHCC.2005.67"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages. ACM (1977)","DOI":"10.1145\/512950.512973"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Principles of Programming Languages. ACM (1979)","DOI":"10.1145\/567752.567778"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Logozzo, F.: A parametric segmentation functor for fully automatic and scalable array content analysis. In: Principles of Programming Languages. ACM (2011)","DOI":"10.1145\/1926385.1926399"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-642-31128-4_15","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"J. Cunha","year":"2012","unstructured":"Cunha, J., Fernandes, J.P., Ribeiro, H., Saraiva, J.: Towards a catalog of spreadsheet smells. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol.\u00a07336, pp. 202\u2013216. Springer, Heidelberg (2012)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: Model-based programming environments for spreadsheets. Science of Computer Programming (2014)","DOI":"10.1016\/j.scico.2014.02.002"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Fisher II, M., Rothermel, G.: The EUSES Spreadsheet Corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms. In: Workshop on End-User Software Engineering (2005)","DOI":"10.1145\/1083231.1083242"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Hammer, M.A., Phang, K.Y., Hicks, M., Foster, J.S.: Adapton: Composable, demand-driven incremental computation. In: Programming Language Design and Implementation. ACM (2014)","DOI":"10.1145\/2594291.2594324"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., Deursen, A.V.: Detecting and visualizing inter-worksheet smells in spreadsheets. In: International Conference on Software Engineering (2012)","DOI":"10.1109\/ICSE.2012.6227171"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Jensen, S.H., Jonsson, P.A., M\u00f8ller, A.: Remedying the eval that men do. In: International Symposium on Software Testing and Analysis. ACM (2012)","DOI":"10.1145\/2338965.2336758"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Blackwell, A., Burnett, M.: A user-centred approach to functions in Excel. In: International Conference on Functional Programming. ACM (2003)","DOI":"10.1145\/944705.944721"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-Order and Symbolic Computation (2006)","DOI":"10.1007\/s10990-006-8609-1"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Panko, R.R.: What we know about spreadsheet errors. Journal of End User Computing (1998)","DOI":"10.4018\/joeuc.1998040102"},{"key":"2_CR22","unstructured":"Rajalingham, K., Chadwick, D.R., Knight, B.: Classification of spreadsheet errors. In: EuSpRIG Symposium (2001)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Reps, T., Gopan, D., Sagiv, M.: A framework for numeric analysis of array operations. In: Principles of Programming Languages. ACM (2005)","DOI":"10.1145\/1040305.1040333"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Sestoft, P.: Online partial evaluation of sheet-defined functions. EPTCS (2013)","DOI":"10.4204\/EPTCS.129.10"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Sestoft, P.: Spreadsheet Implementation Technology. Basics and Extensions. MIT Press (2014)","DOI":"10.7551\/mitpress\/8647.001.0001"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/978-3-540-31987-0_28","volume-title":"Programming Languages and Systems","author":"P. Thiemann","year":"2005","unstructured":"Thiemann, P.: Towards a type system for analyzing javascript programs. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 408\u2013422. Springer, Heidelberg (2005)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Wakeling, D.: Spreadsheet functional programming. Journal of Functional Programming (2007)","DOI":"10.1017\/S0956796806006186"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Xi, H., Pfenning, F.: Eliminating array bound checking hrough dependent types. In: Programming Language Design and Implementation. ACM (1998)","DOI":"10.1145\/277650.277732"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46669-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T03:00:06Z","timestamp":1651633206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46669-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466681","9783662466698"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46669-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}