{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:37:39Z","timestamp":1752460659516},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:15:03Z","timestamp":1330262103000},"page":"624-628","source":"Crossref","is-referenced-by-count":9,"title":["The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces"],"prefix":"10.1007","author":[{"given":"Alan","family":"Borning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjorn N.","family":"Freeman-Benson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"4","key":"38_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Alan Borning. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transactions on Programming Languages and Systems, 3(4):353\u2013387, October 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"38_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223\u2013270, September 1992.","journal-title":"Lisp and Symbolic Computation"},{"issue":"1","key":"38_CR3","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B. Freeman-Benson","year":"1990","unstructured":"Bjorn Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54\u201363, January 1990.","journal-title":"Communications of the ACM"},{"issue":"3","key":"38_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(\u211b) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, July 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"gus Lopez, Bjorn Freeman-Benson, and Alan Borning. Implementing constraint imperative programming languages: The kaleidoscope'93 virtual machine. In Proceedings of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 259\u2013271, October 1994.","key":"38_CR5","DOI":"10.1145\/191081.191118"},{"issue":"4","key":"38_CR6","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1145\/146486.146557","volume":"10","author":"S. Matsuoka","year":"1992","unstructured":"Satoshi Matsuoka, Shin Takahashi, Tomihisa Kamada, and Akinori Yonezawa. A general framework for bidirectional translation between abstract and pictorial data. ACM Transactions on Information Systems, 10(4):408\u2013437, October 1992.","journal-title":"ACM Transactions on Information Systems"},{"issue":"11","key":"38_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.60882","volume":"23","author":"B. A. Myers","year":"1990","unstructured":"Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad Vander Zanden, David S. Kosbie, Ed Pervin, Andrew Mickish, and Philip pe Marchai. Garnet: Comprehensive support for graphical, highly-interactive user interfaces. IEEE Computer, 23(11):71\u201385, November 1990.","journal-title":"IEEE Computer"},{"unstructured":"Michael Sannella. Constraint Satisfaction and Debugging for Interactive User Interfaces. PhD thesis, Department of Computer Science and Engineering, University of Washington, 1994. Forthcoming.","key":"38_CR8"},{"issue":"5","key":"38_CR9","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1002\/spe.4380230507","volume":"23","author":"M. Sannella","year":"1993","unstructured":"Michael Sannella, John Maloney, Bjorn Freeman-Benson, and Alan Borning. Multi-way versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm. Software\u2014Practice and Experience, 23(5):529\u2013566, May 1993.","journal-title":"Software\u2014Practice and Experience"},{"doi-asserted-by":"crossref","unstructured":"Ivan Sutherland. Sketchpad: A Man-Machine Graphical Communication System. PhD thesis, Department of Electrical Engineering, MIT, January 1963.","key":"38_CR10","DOI":"10.1145\/1461551.1461591"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:00Z","timestamp":1605628680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}