{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T00:56:39Z","timestamp":1771030599136,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"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":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479409","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Free Objects in Constraint-logic Object-oriented Programming"],"prefix":"10.1145","author":[{"given":"Jan C.","family":"Dagef\u00f6rde","sequence":"first","affiliation":[{"name":"ERCIS, University of M\u00fcnster, Germany"}]},{"given":"Hendrik","family":"Winkelmann","sequence":"additional","affiliation":[{"name":"ERCIS, University of M\u00fcnster, Germany"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[{"name":"ERCIS, University of M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ASM: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems.","author":"Bruneton Eric","year":"2002","unstructured":"Eric Bruneton , Romain Lenglet , and Thierry Coupaye . 2002 . ASM: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems. Eric Bruneton, Romain Lenglet, and Thierry Coupaye. 2002. ASM: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems."},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science, Vol.\u00a011285","volume-title":"Functional and Constraint Logic Programming, J.\u00a0Silva (Ed.)","author":"Dagef\u00f6rde C.","unstructured":"Jan\u00a0 C. Dagef\u00f6rde . 2019. Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming . In Functional and Constraint Logic Programming, J.\u00a0Silva (Ed.) . Lecture Notes in Computer Science, Vol.\u00a011285 . Springer , Cham , 131\u2013144. https:\/\/doi.org\/10.1007\/978-3-030-16202-3_8 10.1007\/978-3-030-16202-3_8 Jan\u00a0C. Dagef\u00f6rde. 2019. Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming. In Functional and Constraint Logic Programming, J.\u00a0Silva (Ed.). Lecture Notes in Computer Science, Vol.\u00a011285. Springer, Cham, 131\u2013144. https:\/\/doi.org\/10.1007\/978-3-030-16202-3_8"},{"key":"e_1_3_2_1_3_1","volume-title":"Dagef\u00f6rde and Herbert Kuchen","author":"C.","year":"2018","unstructured":"Jan\u00a0 C. Dagef\u00f6rde and Herbert Kuchen . 2018 . An Operational Semantics for Constraint-Logic Imperative Programming. In Declarative Programming and Knowledge Management, Dietmar Seipel, Michael Hanus, and Salvador Abreu(Eds.). Lecture Notes in Artificial Intelligence, Vol.\u00a010977. Springer , Cham, 64\u201380. https:\/\/doi.org\/10.1007\/978-3-030-00801-7_5 10.1007\/978-3-030-00801-7_5 Jan\u00a0C. Dagef\u00f6rde and Herbert Kuchen. 2018. An Operational Semantics for Constraint-Logic Imperative Programming. In Declarative Programming and Knowledge Management, Dietmar Seipel, Michael Hanus, and Salvador Abreu(Eds.). Lecture Notes in Artificial Intelligence, Vol.\u00a010977. Springer, Cham, 64\u201380. https:\/\/doi.org\/10.1007\/978-3-030-00801-7_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2019.05.001"},{"key":"#cr-split#-e_1_3_2_1_5_1.1","doi-asserted-by":"crossref","unstructured":"L.\u00a0Mendon\u00e7a de Moura and N. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference TACAS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2008 Budapest Hungary March 29-April 6 2008. Proceedings(Lecture Notes in Computer Science Vol.\u00a04963) C.\u00a0R. Ramakrishnan and Jakob Rehof (Eds.). Springer 337-340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24 10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"#cr-split#-e_1_3_2_1_5_1.2","doi-asserted-by":"crossref","unstructured":"L.\u00a0Mendon\u00e7a de Moura and N. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference TACAS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2008 Budapest Hungary March 29-April 6 2008. Proceedings(Lecture Notes in Computer Science Vol.\u00a04963) C.\u00a0R. Ramakrishnan and Jakob Rehof (Eds.). Springer 337-340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768808060054"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2014.13.4.a1"},{"key":"e_1_3_2_1_8_1","volume-title":"European Conference on Object-Oriented Programming, Ole\u00a0Lehrmann Madsen (Ed.), Vol.\u00a0615","author":"N.","unstructured":"Bjorn\u00a0 N. Freeman-Benson and Alan Borning. 1992. Integrating constraints with an object-oriented language. In ECOOP \u201992 European Conference on Object-Oriented Programming, Ole\u00a0Lehrmann Madsen (Ed.), Vol.\u00a0615 . Springer Berlin Heidelberg, Berlin, Heidelberg, 268\u2013286. Bjorn\u00a0N. Freeman-Benson and Alan Borning. 1992. Integrating constraints with an object-oriented language. In ECOOP \u201992 European Conference on Object-Oriented Programming, Ole\u00a0Lehrmann Madsen (Ed.), Vol.\u00a0615. Springer Berlin Heidelberg, Berlin, Heidelberg, 268\u2013286."},{"key":"e_1_3_2_1_9_1","volume-title":"Bounded Lazy Initialization","author":"Geldenhuys Jaco","unstructured":"Jaco Geldenhuys , Nazareno Aguirre , Marcelo\u00a0 F. Frias , and Willem Visser . 2013. Bounded Lazy Initialization . In NASA Formal Methods, Guillaume Brat, Neha Rungta, and Arnaud Venet (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 229\u2013243. Jaco Geldenhuys, Nazareno Aguirre, Marcelo\u00a0F. Frias, and Willem Visser. 2013. Bounded Lazy Initialization. In NASA Formal Methods, Guillaume Brat, Neha Rungta, and Arnaud Venet (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 229\u2013243."},{"key":"e_1_3_2_1_10_1","unstructured":"James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Language Specification \u2013 Java SE 8 Edition. https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf  James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Language Specification \u2013 Java SE 8 Edition. https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf"},{"key":"e_1_3_2_1_11_1","volume-title":"Curry: A Truly Functional Logic Language. ILPS\u201995 Workshop on Visions for the Future of Logic Programming","author":"Hanus Michael","year":"1995","unstructured":"Michael Hanus , Herbert Kuchen , and Juan\u00a0Jose Moreno-Navarro . 1995 . Curry: A Truly Functional Logic Language. ILPS\u201995 Workshop on Visions for the Future of Logic Programming (1995), 95\u2013107. Michael Hanus, Herbert Kuchen, and Juan\u00a0Jose Moreno-Navarro. 1995. Curry: A Truly Functional Logic Language. ILPS\u201995 Workshop on Visions for the Future of Logic Programming (1995), 95\u2013107."},{"key":"e_1_3_2_1_12_1","volume-title":"A Beginner\u2019s Guide to Scala, Object Orientation and Functional Programming (2 ed.)","author":"Hunt John","unstructured":"John Hunt . 2018. A Beginner\u2019s Guide to Scala, Object Orientation and Functional Programming (2 ed.) . Springer . John Hunt. 2018. A Beginner\u2019s Guide to Scala, Object Orientation and Functional Programming (2 ed.). Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_15_1","volume-title":"Declarative Programming and Knowledge Management","author":"Krings Sebastian","unstructured":"Sebastian Krings , Joshua Schmidt , Patrick Skowronek , Jannik Dunkelau , and Dierk Ehmke . 2020. Towards Constraint Logic Programming over Strings for Test Data Generation . In Declarative Programming and Knowledge Management , Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, and Dietmar Seipel(Eds.). Springer International Publishing , Cham , 139\u2013159. Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, and Dierk Ehmke. 2020. Towards Constraint Logic Programming over Strings for Test Data Generation. In Declarative Programming and Knowledge Management, Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, and Dietmar Seipel(Eds.). Springer International Publishing, Cham, 139\u2013159."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/785411.785416"},{"key":"e_1_3_2_1_17_1","volume-title":"ACM International Conference Proceeding Series","author":"Li Lian","year":"2017","unstructured":"Lian Li , Yi Lu , and Jingling Xue . 2017 . Dynamic symbolic execution for polymorphism . ACM International Conference Proceeding Series (2017), 120\u2013130. https:\/\/doi.org\/10.1145\/3033019.3033029 10.1145\/3033019.3033029 Lian Li, Yi Lu, and Jingling Xue. 2017. Dynamic symbolic execution for polymorphism. ACM International Conference Proceeding Series (2017), 120\u2013130. https:\/\/doi.org\/10.1145\/3033019.3033029"},{"key":"e_1_3_2_1_18_1","unstructured":"Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Virtual Machine Specification \u2013 Java SE 8 Edition. 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 \u2013 Java SE 8 Edition. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/jvms8.pdf"},{"key":"e_1_3_2_1_19_1","unstructured":"Microsoft. 2020. Reference types (C# Reference). https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/language-reference\/keywords\/reference-types  Microsoft. 2020. Reference types (C# Reference). https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/language-reference\/keywords\/reference-types"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings - International Conference on Software Engineering (2011","author":"Milicevic Aleksandar","year":"2011","unstructured":"Aleksandar Milicevic , Derek Rayside , Kuat Yessenov , and Daniel Jackson . 2011 . Unifying execution of imperative and declarative code . Proceedings - International Conference on Software Engineering (2011 ), 511\u2013520. https:\/\/doi.org\/10.1145\/1985793.1985863 10.1145\/1985793.1985863 Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson. 2011. Unifying execution of imperative and declarative code. Proceedings - International Conference on Software Engineering (2011), 511\u2013520. https:\/\/doi.org\/10.1145\/1985793.1985863"},{"key":"e_1_3_2_1_21_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. 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. http:\/\/www.scala-lang.org\/files\/archive\/spec\/2.12\/"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of RuleML","author":"Ostermayer Ludwig","year":"2015","unstructured":"Ludwig Ostermayer . 2015 . Seamless Cooperation of Java and Prolog for Rule-Based Software Development . In Proceedings of RuleML 2015. http:\/\/ceur-ws.org\/Vol-1417\/paper2.pdf Ludwig Ostermayer. 2015. Seamless Cooperation of Java and Prolog for Rule-Based Software Development. In Proceedings of RuleML 2015. http:\/\/ceur-ws.org\/Vol-1417\/paper2.pdf"},{"key":"e_1_3_2_1_23_1","volume-title":"Automated Technology for Verification and Analysis, Yu-Fang Chen, Chih-Hong Cheng","author":"Pham H.","unstructured":"Long\u00a0 H. Pham , Quang\u00a0Loc Le , Quoc-Sang Phan , Jun Sun , and Shengchao Qin . 2019. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation . In Automated Technology for Verification and Analysis, Yu-Fang Chen, Chih-Hong Cheng , and Javier Esparza(Eds.). Springer International Publishing , Cham , 209\u2013227. Long\u00a0H. Pham, Quang\u00a0Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin. 2019. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. In Automated Technology for Verification and Analysis, Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza(Eds.). Springer International Publishing, Cham, 209\u2013227."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2389225"},{"key":"e_1_3_2_1_25_1","first-page":"32","article-title":"OptaPlanner User Guide","volume":"7","author":"OptaPlanner Team The","year":"2020","unstructured":"The OptaPlanner Team . 2020 . OptaPlanner User Guide , Version 7 . 32 .0. The OptaPlanner Team. 2020. OptaPlanner User Guide, Version 7.32.0.","journal-title":"Version"},{"key":"e_1_3_2_1_27_1","volume-title":"Constraint-Logic Object-Oriented Programming with Free Arrays","author":"Winkelmann Hendrik","unstructured":"Hendrik Winkelmann , Jan\u00a0 C. Dagef\u00f6rde , and Herbert Kuchen . 2021. Constraint-Logic Object-Oriented Programming with Free Arrays . In Functional and Constraint Logic Programming, Michael Hanus and Claudio Sacerdoti\u00a0Coen (Eds.). Springer International Publishing , Cham , 129\u2013144. Hendrik Winkelmann, Jan\u00a0C. Dagef\u00f6rde, and Herbert Kuchen. 2021. Constraint-Logic Object-Oriented Programming with Free Arrays. In Functional and Constraint Logic Programming, Michael Hanus and Claudio Sacerdoti\u00a0Coen (Eds.). Springer International Publishing, Cham, 129\u2013144."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"},{"key":"e_1_3_2_1_29_1","volume-title":"Automatic Test Generation for Dynamic Data Structures. In Fifth International Conference on Software Engineering Research, Management and Applications. IEEE, 545\u2013549","author":"Zhao Ruilian","year":"2007","unstructured":"Ruilian Zhao and Qing Li . 2007 . Automatic Test Generation for Dynamic Data Structures. In Fifth International Conference on Software Engineering Research, Management and Applications. IEEE, 545\u2013549 . https:\/\/doi.org\/10.1109\/SERA.2007.59 10.1109\/SERA.2007.59 Ruilian Zhao and Qing Li. 2007. Automatic Test Generation for Dynamic Data Structures. In Fifth International Conference on Software Engineering Research, Management and Applications. IEEE, 545\u2013549. https:\/\/doi.org\/10.1109\/SERA.2007.59"}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","location":"Tallinn Estonia","acronym":"PPDP 2021"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":29,"alternative-id":["10.1145\/3479394.3479409","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479409","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}