{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T12:50:54Z","timestamp":1777639854286,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167260","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1185-1194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A constraint-logic object-oriented language"],"prefix":"10.1145","author":[{"given":"Jan C.","family":"Dagef\u00f6rde","sequence":"first","affiliation":[{"name":"ERCIS, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[{"name":"ERCIS, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Sergio Antoy and Andy Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In LOPSTR. arXiv:1608.04016  Sergio Antoy and Andy Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In LOPSTR. arXiv:1608.04016","DOI":"10.1007\/978-3-319-63139-4_6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032603.2032605"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.001"},{"key":"e_1_3_2_1_4_1","unstructured":"J. Doyle and C. Meudec. 2003. IBIS: an Interactive Bytecode Inspection System using symbolic execution and constraint logic programming. 2nd PPPJ (2003) 55--58.   J. Doyle and C. Meudec. 2003. IBIS: an Interactive Bytecode Inspection System using symbolic execution and constraint logic programming. 2nd PPPJ (2003) 55--58."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_6_1","volume-title":"21st WFLP.","author":"Ernsting Marko"},{"key":"e_1_3_2_1_7_1","unstructured":"Jacob Feldman. 2012. JSR 331: Constraint Programming API. (2012). https:\/\/jcp.org\/en\/jsr\/detail?id=331  Jacob Feldman. 2012. JSR 331: Constraint Programming API. (2012). https:\/\/jcp.org\/en\/jsr\/detail?id=331"},{"key":"e_1_3_2_1_8_1","unstructured":"James Gosling and etal 2015. The Java\u00ae Language Specification - Java SE 8 Edition. (2015). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf   James Gosling and et al. 2015. The Java\u00ae Language Specification - Java SE 8 Edition. (2015). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263710"},{"key":"e_1_3_2_1_10_1","volume-title":"Curry: A Truly Functional Logic Language. ILPS'95 Workshop on Visions for the Future of Logic Programming","author":"Hanus M","year":"1995"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390645"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/785411.785416"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings WFLP '04","author":"Lembeck Christoph","year":"2004"},{"key":"e_1_3_2_1_14_1","unstructured":"Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Virtual Machine Specification - Java SE 8 Edition. (2015). https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/jvms8.pdf   Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Virtual Machine Specification - Java SE 8 Edition. (2015). https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/jvms8.pdf"},{"key":"e_1_3_2_1_15_1","volume-title":"Programming Languages: Principles and Practice. Wadsworth Publ","author":"Louden Kenneth C","year":"1993"},{"key":"e_1_3_2_1_16_1","volume-title":"Informatik '99 - Informatik \u00fcberwindet Grenzen, K Beiersd\u00f6rfer, G Engels, and W Sch\u00e4fer (Eds.)","author":"Lux Wolfgang"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.33"},{"key":"e_1_3_2_1_18_1","volume-title":"Logic Java: Combining Object-Oriented and Logic Programming. In WFLP. 122--137.","author":"Majchrzak Tim A","year":"2011"},{"key":"e_1_3_2_1_19_1","volume-title":"Logic and Objects","author":"McCabe F. G."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_1_21_1","unstructured":"Chris Moss. 1994. Prolog++ - the power of object-oriented and logic programming. Addison-Wesley.   Chris Moss. 1994. Prolog++ - the power of object-oriented and logic programming. Addison-Wesley."},{"key":"e_1_3_2_1_22_1","unstructured":"Martin Odersky Philippe Altherr Vincent Cremet Gilles Dubochet Burak Emir Philipp Haller St\u00e9phane Micheloud Nikolay Mihaylov Adriaan Moors Lukas Rytz Michel Schinz Erik Stenman and Matthias Zenger. 2017. Scala Language Specification. (2017). http:\/\/www.scala-lang.org\/files\/archive\/spec\/2.12\/  Martin Odersky Philippe Altherr Vincent Cremet Gilles Dubochet Burak Emir Philipp Haller St\u00e9phane Micheloud Nikolay Mihaylov Adriaan Moors Lukas Rytz Michel Schinz Erik Stenman and Matthias Zenger. 2017. Scala Language Specification. (2017). http:\/\/www.scala-lang.org\/files\/archive\/spec\/2.12\/"},{"issue":"0","key":"e_1_3_2_1_23_1","first-page":"0","article-title":"OptaPlanner User Guide","volume":"7","author":"Team OptaPlanner","year":"2017","journal-title":"Version"},{"key":"e_1_3_2_1_24_1","unstructured":"Charles Prud'homme Jean-Guillaume Fages and Xavier Lorca. 2016. Choco Documentation. TASC INRIA Rennes. http:\/\/www.choco-solver.org  Charles Prud'homme Jean-Guillaume Fages and Xavier Lorca. 2016. Choco Documentation. TASC INRIA Rennes. http:\/\/www.choco-solver.org"},{"key":"e_1_3_2_1_25_1","volume-title":"Seer: Symbolic Execution Engine for Rust.","author":"Renshaw David","year":"2017"},{"key":"e_1_3_2_1_26_1","volume-title":"A Guide to Artificial Intelligence with Visual Prolog","author":"Scott Randall"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037020"},{"key":"e_1_3_2_1_28_1","volume-title":"Developer Survey Results","author":"Overflow Stack","year":"2017"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_30_1","volume-title":"https:\/\/www.tiobe.com\/tiobe-index\/","author":"Index TIOBE","year":"2017"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_24"},{"key":"e_1_3_2_1_32_1","volume-title":"Java 8 in Action: Lambdas, Streams, and Functional-style Programming","author":"Urma Raoul-Gabriel"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001741"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167260","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:06Z","timestamp":1750213566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":33,"alternative-id":["10.1145\/3167132.3167260","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167260","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}