{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T21:14:32Z","timestamp":1790889272637,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642331244","type":"print"},{"value":"9783642331251","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33125-1_9","type":"book-chapter","created":{"date-parts":[[2012,8,29]],"date-time":"2012-08-29T06:47:24Z","timestamp":1346222844000},"page":"94-110","source":"Crossref","is-referenced-by-count":5,"title":["An Abstract Domain to Infer Types over Zones in Spreadsheets"],"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":"9_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4018\/joeuc.1998040102","volume":"10","author":"R.R. Panko","year":"1998","unstructured":"Panko, R.R.: What we know about spreadsheet errors. Journal of End User Computing\u00a010, 15\u201321 (1998)","journal-title":"Journal of End User Computing"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Blackwell, A., Burnett, M.: A user-centred approach to functions in excel. In: ICFP 2003: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pp. 165\u2013176. ACM (2003)","DOI":"10.1145\/944746.944721"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1370847.1370867","volume-title":"WEUSE 2008: Proceedings of the 4th International Workshop on End-user Software Engineering","author":"P. Sestoft","year":"2008","unstructured":"Sestoft, P.: Implementing function spreadsheets. In: WEUSE 2008: Proceedings of the 4th International Workshop on End-user Software Engineering, pp. 91\u201394. ACM, New York (2008)"},{"key":"9_CR4","unstructured":"Cheng, T.: Excel Functional Programming. In: Explore Another Dimension of Spreadsheet Programming (2010)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1017\/S0956796806006186","volume":"17","author":"D. Wakeling","year":"2007","unstructured":"Wakeling, D.: Spreadsheet functional programming. J. Funct. Program.\u00a017(1), 131\u2013143 (2007)","journal-title":"J. Funct. Program."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1017\/S0956796805005794","volume":"16","author":"M. Erwig","year":"2006","unstructured":"Erwig, M., Abraham, R., Kollmansberger, S., Cooperstein, I.: Gencel: a program generator for correct spreadsheets. J. Funct. Program.\u00a016, 293\u2013325 (2006)","journal-title":"J. Funct. Program."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1145\/1134285.1134312","volume-title":"Proceedings of the 28th International Conference on Software Engineering, ICSE 2006","author":"R. Abraham","year":"2006","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 182\u2013191. ACM Press, New York (2006)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Silva, A.: Strong Types for Relational Data Stored in Databases or Spreadsheets. PhD thesis, University of Minho (2006)","DOI":"10.1145\/1159842.1159846"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: PEPM 2009: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 179\u2013188. ACM (2009)","DOI":"10.1145\/1480945.1480972"},{"key":"9_CR10","unstructured":"Rajalingham, K., Chadwick, D.R., Knight, B.: Classification of spreadsheet errors. In: EuSpRIG 2000 Symposium: Spreadsheet Risks, Audit and Development Methods (2001)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Bradley, L., McDaid, K.: Using bayesian statistical methods to determine the level of error in large spreadsheets. In: ICSE Companion, pp. 351\u2013354 (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5071019"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1370847.1370860","volume-title":"Proceedings of the 4th International Workshop on End-user Software Engineering, WEUSE 2008","author":"B. Bishop","year":"2008","unstructured":"Bishop, B., McDaid, K.: Spreadsheet debugging behaviour of expert and novice end-users. In: Proceedings of the 4th International Workshop on End-user Software Engineering, WEUSE 2008, pp. 56\u201360. ACM, New York (2008)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"9_CR14","unstructured":"Cheng, T.: Verification of spreadsheet programs by abstract interpretation. Master\u2019s thesis, \u00c9cole Polytechnique (2011)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_10","volume-title":"Programs as Data Objects","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: A New Numerical Abstract Domain Based on Difference-Bound Matrices. In: Danvy, O., Filinski, A. (eds.) PADO II. LNCS, vol.\u00a02053, pp. 155\u2013172. Springer, Heidelberg (2001)"},{"issue":"5","key":"9_CR16","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/j.comgeo.2009.09.002","volume":"43","author":"R. Bagnara","year":"2010","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: Exact join detection for convex polyhedra and other numerical abstractions. Computational Geometry: Theory and Applications\u00a043(5), 453\u2013473 (2010)","journal-title":"Computational Geometry: Theory and Applications"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/1328438.1328468","volume-title":"Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008","author":"S. Gulwani","year":"2008","unstructured":"Gulwani, S., McCloskey, B., Tiwari, A.: Lifting abstract interpreters to quantified logical domains. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 235\u2013246. ACM, New York (2008)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.jvlc.2009.04.002","volume":"20","author":"C. Chambers","year":"2009","unstructured":"Chambers, C., Erwig, M.: Automatic detection of dimension errors in spreadsheets. Journal of Visual Languages and Computing\u00a020(4), 269\u2013283 (2009)","journal-title":"Journal of Visual Languages and Computing"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1109\/ICSE.2004.1317466","volume-title":"ICSE 2004: Proceedings of the 26th International Conference on Software Engineering","author":"T. Antoniu","year":"2004","unstructured":"Antoniu, T., Steckler, P.A., Krishnamurthi, S., Neuwirth, E., Felleisen, M.: Validating the unit correctness of spreadsheet programs. In: ICSE 2004: Proceedings of the 26th International Conference on Software Engineering, pp. 439\u2013448. IEEE Computer Society, Washington, DC (2004)"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A. Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-Order and Symbolic Computation\u00a019(1), 31\u2013100 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-69738-1_20","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M. P\u00e9ron","year":"2007","unstructured":"P\u00e9ron, M., Halbwachs, N.: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, pp. 268\u2013282. Springer, Heidelberg (2007)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., P\u00e9ron, M.: Discovering properties about arrays in simple programs. In: PLDI 2008: 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 339\u2013348. ACM (June 2008)","DOI":"10.1145\/1375581.1375623"},{"key":"9_CR23","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/1926385.1926399","volume-title":"Conference Record of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"2011","unstructured":"Cousot, P., Cousot, R., Logozzo, F.: A parametric segmentation functor for fully automatic and scalable array content analysis. In: Conference Record of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 105\u2013118. ACM Press, New York (2011)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33125-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T20:03:38Z","timestamp":1643313818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33125-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331244","9783642331251"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33125-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}