{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:10:32Z","timestamp":1725797432756},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662442012"},{"type":"electronic","value":"9783662442029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_17","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T02:01:13Z","timestamp":1405562473000},"page":"411-436","source":"Crossref","is-referenced-by-count":5,"title":["Babelsberg\/JS"],"prefix":"10.1007","author":[{"given":"Tim","family":"Felgentreff","sequence":"first","affiliation":[]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Hirschfeld","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Lincke","sequence":"additional","affiliation":[]},{"given":"Yoshiki","family":"Ohshima","sequence":"additional","affiliation":[]},{"given":"Bert","family":"Freudenberg","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Krahn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-89275-5_2","volume-title":"Self-Sustaining Systems","author":"D. Ingalls","year":"2008","unstructured":"Ingalls, D., Palacz, K., Uhler, S., Taivalsaari, A., Mikkonen, T.: The lively kernel A self-supporting system on a web page. In: Hirschfeld, R., Rose, K. (eds.) S3 2008. LNCS, vol.\u00a05146, pp. 31\u201350. Springer, Heidelberg (2008)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Lincke, J., Krahn, R., Ingalls, D., Roder, M., Hirschfeld, R.: The Lively PartsBin\u2013a cloud-based repository for collaborative development of active web content. In: 2012 45th Hawaii International Conference on System Science (HICSS 2012), pp. 693\u2013701. IEEE (2012)","DOI":"10.1109\/HICSS.2012.42"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Sutherland, I.: Sketchpad: A man-machine graphical communication system. In: Proceedings of the Spring Joint Computer Conference, IFIPS, pp. 329\u2013346 (1963)","DOI":"10.1145\/1461551.1461591"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Borning, A.: The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transactions on Programming Languages and Systems\u00a03(4), 353\u2013387 (1981)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Felgentreff, T., Borning, A., Hirschfeld, R.: Babelsberg: Specifying and solving constraints on object behavior. Technical Report\u00a081, Hasso-Plattner-Institut, Potsdam, Germany (May 2014)","DOI":"10.5381\/jot.2014.13.4.a1"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Lopez, G., Freeman-Benson, B., Borning, A.: Kaleidoscope: A constraint imperative programming language. In: Constraint Programming. NATO Advanced Science Institute Series, Series F: Computer and System Sciences, vol.\u00a0131, pp. 313\u2013329. Springer (1994)","DOI":"10.1007\/978-3-642-85983-0_12"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Grabm\u00fcller, M., Hofstedt, P.: Turtle: A constraint imperative programming language. In: Research and Development in Intelligent Systems XX, pp. 185\u2013198. Springer (2004)","DOI":"10.1007\/978-0-85729-412-8_14"},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/504704.504705","volume":"8","author":"G.J. Badros","year":"2001","unstructured":"Badros, G.J., Borning, A., Stuckey, P.J.: The Cassowary linear arithmetic constraint solving algorithm. ACM Transactions on Computer-Human Interaction (TOCHI)\u00a08(4), 267\u2013306 (2001)","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura De","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"17_CR11","unstructured":"Sadun, E.: iOS Auto Layout Demystified. Addison-Wesley (October 2013)"},{"key":"17_CR12","unstructured":"Enthought Inc: Enaml 0.6.3 documentation (February 2014)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/2509578.2509590","volume-title":"Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! 2013","author":"Y. Ohshima","year":"2013","unstructured":"Ohshima, Y., Lunzer, A., Freudenberg, B., Kaehler, T.: KScript and KSWorld: A time-aware and mostly declarative language and interactive GUI framework. In: Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! 2013, pp. 117\u2013134. ACM, New York (2013)"},{"issue":"10","key":"17_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1639949.1640091","volume":"44","author":"L.A. Meyerovich","year":"2009","unstructured":"Meyerovich, L.A., Guha, A., Baskin, J., Cooper, G.H., Greenberg, M., Bromfield, A., Krishnamurthi, S.: Flapjax: A programming language for Ajax applications. ACM SIGPLAN Notices\u00a044(10), 1\u201320 (2009)","journal-title":"ACM SIGPLAN Notices"},{"key":"17_CR15","unstructured":"Flanagan, D., Matsumoto, Y.: The Ruby Programming Language. O\u2019Reilly (January 2008)"},{"issue":"1","key":"17_CR16","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B.N. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B.N., Maloney, J., Borning, A.: An incremental constraint solver. Communications of the ACM\u00a033(1), 54\u201363 (1990)","journal-title":"Communications of the ACM"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Rinard, M., Cadar, C., Nguyen, H.H.: Exploring the acceptability envelope. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), pp. 21\u201330. ACM (October 2005)","DOI":"10.1145\/1094855.1094866"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Rayside, D., Yessenov, K., Jackson, D.: Unifying execution of imperative and declarative code. In: 33rd International Conference on Software Engineering (ICSE), pp. 511\u2013520 (May 2011)","DOI":"10.1145\/1985793.1985863"},{"issue":"11","key":"17_CR19","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/1592761.1592779","volume":"52","author":"M. Resnick","year":"2009","unstructured":"Resnick, M., Maloney, J., Monroy-Hern\u00e1ndez, A., Rusk, N., Eastmond, E., Brennan, K., Millner, A., Rosenbaum, E., Silver, J., Silverman, B., et al.: Scratch: programming for all. Communications of the ACM\u00a052(11), 60\u201367 (2009)","journal-title":"Communications of the ACM"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM Principles of Programming Languages Conference (POPL 1987), pp. 111\u2013119. ACM (January 1987)","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"17_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., Wilson, M.: Constraint hierarchies. LISP and Symbolic Computation\u00a05(3), 223\u2013270 (1992)","journal-title":"LISP and Symbolic Computation"},{"issue":"12","key":"17_CR22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/1899661.1869638","volume":"45","author":"T. Cutsem Van","year":"2010","unstructured":"Van Cutsem, T., Miller, M.S.: Proxies: Design principles for robust object-oriented intercession APIs. ACM Sigplan Notices\u00a045(12), 59\u201372 (2010)","journal-title":"ACM Sigplan Notices"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Kang, S., Ryu, S.: Formal specification of a JavaScript module system. In: Proceedings of the ACM International Conference on Object-Oriented Programming Systems Languages and Applications, pp. 621\u2013638. ACM (2012)","DOI":"10.1145\/2384616.2384661"},{"key":"17_CR24","unstructured":"Borning, A.: Architectures for cooperating constraint solvers. Technical Report VPRI Memo M-2012-003, Viewpoints Research Institute, Glendale, California (May 2012)"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Nelson, G., Oppen, D.: Simplification by cooperating decision procedures. ACM Transactions on Programming Languages and Systems\u00a01, 245\u2013257 (1979)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Long, F., Ganesh, V., Carbin, M., Sidiroglou, S., Rinard, M.: Automatic input rectification. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 80\u201390. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227204"},{"issue":"6","key":"17_CR27","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/1543135.1542528","volume":"44","author":"A. Gal","year":"2009","unstructured":"Gal, A., Eich, B., Shaver, M., Anderson, D., Mandelin, D., Haghighat, M.R., Kaplan, B., Hoare, G., Zbarsky, B., Orendorff, J., et al.: Trace-based just-in-time type specialization for dynamic languages. ACM Sigplan Notices\u00a044(6), 465\u2013478 (2009)","journal-title":"ACM Sigplan Notices"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Lopez, G., Freeman-Benson, B., Borning, A.: Kaleidoscope: A constraint imperative programming language. In: Constraint Programming. NATO Advanced Science Institute Series, Series F: Computer and System Sciences, vol.\u00a0131, pp. 313\u2013329. Springer (1994)","DOI":"10.1007\/978-3-642-85983-0_12"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/BFb0052187","volume-title":"Object-Oriented Programming","author":"G. Lopez","year":"1994","unstructured":"Lopez, G., Freeman-Benson, B., Borning, A.: Constraints and object identity. In: Pareschi, R. (ed.) ECOOP 1994. LNCS, vol.\u00a0821, pp. 260\u2013279. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:58:48Z","timestamp":1558951128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}