{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:54Z","timestamp":1772164074524,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814311","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"767-782","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Checks and balances: constraint solving without surprises in object-constraint programming languages"],"prefix":"10.1145","author":[{"given":"Tim","family":"Felgentreff","sequence":"first","affiliation":[{"name":"HPI, Germany"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Robert","family":"Hirschfeld","sequence":"additional","affiliation":[{"name":"HPI, Germany"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Symbolic Computation in Software Science","author":"Bj\u00f6rner N.","year":"2014","unstructured":"N. Bj\u00f6rner and A.-D. Phan . \u03bdZ\u2013maximal satisfaction with Z3 . In Symbolic Computation in Software Science , 2014 . N. Bj\u00f6rner and A.-D. Phan. \u03bdZ\u2013maximal satisfaction with Z3. In Symbolic Computation in Software Science, 2014."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01807506"},{"key":"e_1_3_2_2_3_1","first-page":"340","volume-title":"TACAS","author":"De Moura L.","unstructured":"L. De Moura and N. Bj\u00f8rner . Z3: An efficient SMT solver . In TACAS , pages 337\u2013 340 . Springer, 2008. L. De Moura and N. Bj\u00f8rner. Z3: An efficient SMT solver. In TACAS, pages 337\u2013340. Springer, 2008."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2014.13.4.a1"},{"key":"e_1_3_2_2_5_1","first-page":"436","volume-title":"ECOOP","author":"Felgentreff T.","unstructured":"T. Felgentreff , A. Borning , R. Hirschfeld , J. Lincke , Y. Ohshima , B. Freudenberg , and R. Krahn . Babelsberg\/JS: A browser-based implementation of an object constraint language . In ECOOP , pages 411\u2013 436 . Springer, 2014. T. Felgentreff, A. Borning, R. Hirschfeld, J. Lincke, Y. Ohshima, B. Freudenberg, and R. Krahn. Babelsberg\/JS: A browser-based implementation of an object constraint language. In ECOOP, pages 411\u2013436. Springer, 2014."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646150.679346"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/76372.77531"},{"key":"e_1_3_2_2_10_1","volume-title":"Workshop on Reactive and Event-based Languages & Systems","author":"Graber M.","year":"2014","unstructured":"M. Graber , T. Felgentreff , R. Hirschfeld , and A. Borning . Solving interactive logic puzzles with object-constraints \u2014 an experience report using Babelsberg\/S for Squeak\/Smalltalk . In Workshop on Reactive and Event-based Languages & Systems , 2014 . M. Graber, T. Felgentreff, R. Hirschfeld, and A. Borning. Solving interactive logic puzzles with object-constraints \u2014 an experience report using Babelsberg\/S for Squeak\/Smalltalk. In Workshop on Reactive and Event-based Languages & Systems, 2014."},{"key":"e_1_3_2_2_11_1","first-page":"198","volume-title":"RDIS","author":"Grabm\u00fcller M.","unstructured":"M. Grabm\u00fcller and P. Hofstedt . Turtle: A constraint imperative programming language . In RDIS , pages 185\u2013 198 . Springer, 2004. M. Grabm\u00fcller and P. Hofstedt. Turtle: A constraint imperative programming language. In RDIS, pages 185\u2013198. Springer, 2004."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103675"},{"key":"e_1_3_2_2_15_1","first-page":"279","volume-title":"ECOOP","author":"Lopez G.","unstructured":"G. Lopez , B. Freeman-Benson , and A. Borning . Constraints and object identity . In ECOOP , pages 260\u2013 279 . Springer, 1994. G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP, pages 260\u2013279. Springer, 1994."},{"key":"e_1_3_2_2_16_1","series-title":"NATO ASI Series","first-page":"329","volume-title":"Constraint Programming","author":"Lopez G.","unstructured":"G. Lopez , B. Freeman-Benson , and A. Borning . Kaleidoscope: A constraint imperative programming language . In Constraint Programming , volume 131 of NATO ASI Series , Series F: Computer and System Sciences , pages 313\u2013 329 . Springer, 1994. G. Lopez, B. Freeman-Benson, and A. Borning. Kaleidoscope: A constraint imperative programming language. In Constraint Programming, volume 131 of NATO ASI Series, Series F: Computer and System Sciences, pages 313\u2013329. Springer, 1994."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985863"},{"key":"e_1_3_2_2_18_1","series-title":"Lecture Notes in Computer Science","first-page":"71","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"Milicevic A.","unstructured":"A. Milicevic , I. Efrati , and D. Jackson . \u03b1Rby\u2013an embedding of Alloy in Ruby . In Abstract State Machines, Alloy, B, TLA, VDM, and Z , volume 8477 of Lecture Notes in Computer Science , pages 56\u2013 71 . Springer, 2014. A. Milicevic, I. Efrati, and D. Jackson. \u03b1Rby\u2013an embedding of Alloy in Ruby. In Abstract State Machines, Alloy, B, TLA, VDM, and Z, volume 8477 of Lecture Notes in Computer Science, pages 56\u201371. Springer, 2014."},{"key":"e_1_3_2_2_19_1","first-page":"22","volume-title":"Conference of the British Computer Society Specialist Group on Expert Systems","author":"Pachet F.","unstructured":"F. Pachet and P. Roy . Integrating constraint satisfaction techniques with complex object structures . In Conference of the British Computer Society Specialist Group on Expert Systems , pages 11\u2013 22 . Cambridge University Press, 1995. F. Pachet and P. Roy. Integrating constraint satisfaction techniques with complex object structures. In Conference of the British Computer Society Specialist Group on Expert Systems, pages 11\u201322. Cambridge University Press, 1995."},{"key":"e_1_3_2_2_20_1","first-page":"131","volume-title":"PLILP","author":"Pettersson M.","unstructured":"M. Pettersson . RML\u2014a new language and implementation for natural semantics . In PLILP , pages 117\u2013 131 . Springer, 1994. M. Pettersson. RML\u2014a new language and implementation for natural semantics. In PLILP, pages 117\u2013131. Springer, 1994."},{"key":"e_1_3_2_2_21_1","first-page":"22","volume-title":"Computing Surveys Symposium on Object-Oriented Application Frameworks","author":"Roy P.","unstructured":"P. Roy , A. Liret , and F. Pachet . A framework for objectoriented constraint satisfaction problems . In Computing Surveys Symposium on Object-Oriented Application Frameworks , pages 1\u2013 22 . ACM, 2000. P. Roy, A. Liret, and F. Pachet. A framework for objectoriented constraint satisfaction problems. In Computing Surveys Symposium on Object-Oriented Application Frameworks, pages 1\u201322. ACM, 2000."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001741"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814311","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814311","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814311"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":21,"alternative-id":["10.1145\/2814270.2814311","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814311","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814311","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}