{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:48:42Z","timestamp":1725515322097},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_13","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"194-208","source":"Crossref","is-referenced-by-count":1,"title":["SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/566981.566988","volume":"9","author":"M. Burnett","year":"2002","unstructured":"Burnett, M., Yang, S., Summet, J.: A scalable method for deductive generalization in the spreadsheet paradigm. Interactions\u00a09(5), 9\u201311 (2002)","journal-title":"Interactions"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-1998-34303","volume":"34","author":"C. Castro","year":"1998","unstructured":"Castro, C.: Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae\u00a034, 263\u2013293 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR3","unstructured":"Chitnis, S., Yennamani, M., Gupta, G.: Exsched: Solving constraint satisfaction problems with the spreadsheet paradigm. The Computing Research Repository (CoRR), abs\/cs\/0701109 (2007)"},{"key":"13_CR4","unstructured":"Apple Corp. Numbers (2008), http:\/\/www.apple.com\/iwork\/numbers"},{"key":"13_CR5","unstructured":"ELAN, http:\/\/elan.loria.fr"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-46584-7_21","volume-title":"Practical Aspects of Declarative Languages","author":"G. Gupta","year":"2000","unstructured":"Gupta, G., Akhter, S.F.: Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 308\u2013323. Springer, Heidelberg (2000)"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/141936.141955","volume-title":"Proceedings of the SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"B. Horn","year":"1992","unstructured":"Horn, B.: Constraint patterns as a basis for object-oriented programming. In: Proceedings of the SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 218\u2013233. ACM Press, New York (1992)"},{"issue":"7","key":"13_CR8","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/S0950-7051(96)01055-6","volume":"9","author":"W. Hower","year":"1996","unstructured":"Hower, W., Graf, W.: A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics. Knowl.-Based Syst.\u00a09(7), 449\u2013464 (1996)","journal-title":"Knowl.-Based Syst."},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/38.689659","volume":"18","author":"E.H.H. Chi","year":"1998","unstructured":"Chi, E.H.H., Riedl, J., Barry, P., Konstan, J.: Principles for information visualization spreadsheets. IEEE Comput. Graph. Appl.\u00a018(4), 30\u201338 (1998)","journal-title":"IEEE Comput. Graph. Appl."},{"key":"13_CR10","unstructured":"Hyv\u00f6nen, E., Pascale, S.D.: A new basis for spreadsheet computing: Interval solver for Microsoft Excel. In: Proceedings of the Sixteenth National Conference on Artificial intelligence and the Eleventh Innovative Applications of Artificial Intelligence Conference (AAAI 1999\/ IAAI 1999), Menlo Park, CA, pp. 799\u2013806. American Association for Artificial Intelligence (1999)"},{"key":"13_CR11","unstructured":"ILOG, http:\/\/www.ilog.fr"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-45587-6_4","volume-title":"Practical Aspects of Declarative Languages","author":"B. Jayaraman","year":"2002","unstructured":"Jayaraman, B., Tambay, P.: Modeling engineering structures with constrained objects. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, pp. 28\u201346. Springer, Heidelberg (2002)"},{"key":"13_CR13","volume-title":"The TK! Solver Book: A Guide to Problem-Solving in Science, Engineering, Business, and Education","author":"M. Konopasek","year":"1984","unstructured":"Konopasek, M., Jayaraman, S.: The TK! Solver Book: A Guide to Problem-Solving in Science, Engineering, Business, and Education. McGraw-Hill, Osborne (1984)"},{"issue":"12","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1791","DOI":"10.1109\/PROC.1985.13371","volume":"73","author":"M. Konopasek","year":"1985","unstructured":"Konopasek, M., Jayaraman, S.: Constraint and declarative languages for engineering applications: The TK!Solver contribution. Proceedings of the IEEE\u00a073(12), 1791\u20131806 (1985)","journal-title":"Proceedings of the IEEE"},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/VL.1995.520796","volume-title":"Proceedings of the 11th International IEEE Symposium on Visual Languages (VL 1995)","author":"T. Kunstmann","year":"1995","unstructured":"Kunstmann, T., Frisch, M., Muller, R.: A declarative programming environment based on constraints. In: Proceedings of the 11th International IEEE Symposium on Visual Languages (VL 1995), Washington DC, September 1995, pp. 120\u2013121. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"13_CR16","first-page":"211","volume-title":"Proceedings of the Second International Conference on Information Visualisation (IV 1998)","author":"G. Kwaiter","year":"1998","unstructured":"Kwaiter, G., Gaildrat, V., Caubet, R.: Modelling with constraints: A bibliographical survey. In: Proceedings of the Second International Conference on Information Visualisation (IV 1998), pp. 211\u2013220. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci.\u00a07, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Montanari, U., Rossi, F.: Constraint solving and programming: What\u2019s next? ACM Comput. Surv., 70 (1996)","DOI":"10.1145\/242224.242314"},{"key":"13_CR19","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1109\/HICSS.1996.495416","volume-title":"Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS): Decision Support and Knowledge-Based Systems","author":"R.R. Panko","year":"1996","unstructured":"Panko, R.R., Halverson Jr., R.P.: Spreadsheets on trial: A survey of research on spreadsheet risks. In: Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS): Decision Support and Knowledge-Based Systems, January 1996, vol.\u00a02, pp. 326\u2013335. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"13_CR20","unstructured":"Power, D.J.: A brief history of spreadsheets (August 2004), http:\/\/dssresources.com\/history\/sshistory.html"},{"key":"13_CR21","unstructured":"GNU Prolog, http:\/\/www.gprolog.org"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/11799573_29","volume-title":"Logic Programming","author":"C.R. Ramakrishnan","year":"2006","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Warren, D.S.: Deductive spreadsheets using tabled logic programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 391\u2013405. Springer, Heidelberg (2006)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Stadelmann, M.: A spreadsheet based on constraints. In: Proceedings of the ACM Symposium on User Interface Software and Technology, pp. 217\u2013224 (1993)","DOI":"10.1145\/168642.168664"},{"key":"13_CR24","unstructured":"Wilson, S.: Visual programming: Building a visual programming language. Mac. Tech.\u00a013(4) (2000)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T04:04:19Z","timestamp":1588737859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}