{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:07Z","timestamp":1742913967398,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030753320"},{"type":"electronic","value":"9783030753337"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75333-7_8","type":"book-chapter","created":{"date-parts":[[2021,5,5]],"date-time":"2021-05-05T16:16:45Z","timestamp":1620231405000},"page":"129-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint-Logic Object-Oriented Programming with Free Arrays"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7208-7411","authenticated-orcid":false,"given":"Hendrik","family":"Winkelmann","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9141-7968","authenticated-orcid":false,"given":"Jan C.","family":"Dagef\u00f6rde","sequence":"additional","affiliation":[]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,6]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Apt, K., Bol, R.: Logic programming and negation: a survey. J. Log. Program. 19(20), 9\u201371 (1994). https:\/\/doi.org\/10.1016\/0743-1066(94)90024-8","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"8_CR2","unstructured":"Dagef\u00f6rde, J.C.: An integrated constraint-logic and object-oriented programming language: the M\u00fcnster logic-imperative language. Dissertation, University of M\u00fcnster (2020)"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Dagef\u00f6rde, J.C., Kuchen, H.: A constraint-logic object-oriented language. In: Proceedings of the 33rd ACM\/SIGAPP Symposium on Applied Computing, pp. 1185\u20131194. ACM (2018). https:\/\/doi.org\/10.1145\/3167132.3167260","DOI":"10.1145\/3167132.3167260"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.cola.2019.05.001","volume":"53","author":"JC Dagef\u00f6rde","year":"2019","unstructured":"Dagef\u00f6rde, J.C., Kuchen, H.: A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53, 63\u201378 (2019). https:\/\/doi.org\/10.1016\/j.cola.2019.05.001","journal-title":"J. Comput. Lang."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dagef\u00f6rde, J.C., Kuchen, H.: Applications of muli: solving practical problems with constraint-logic object-oriented programming. In: Lopez-Garcia, P., Giacobazzi, R., Gallagher, J. (eds.) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. LNCS. Springer (2020)","DOI":"10.1145\/3479394.3479409"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Dagef\u00f6rde, J.C., Kuchen, H.: Free objects in constraint-logic object-oriented programming. In: Becker, J., et al. (eds.) Working Papers, European Research Center for Information Systems, vol. 32, M\u00fcnster (2020)","DOI":"10.1145\/3479394.3479409"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-030-46714-2_13","volume-title":"Declarative Programming and Knowledge Management","author":"JC Dagef\u00f6rde","year":"2020","unstructured":"Dagef\u00f6rde, J.C., Teegen, F.: Structured traversal of search trees in constraint-logic object-oriented programming. In: Hofstedt, P., Abreu, S., John, U., Kuchen, H., Seipel, D. (eds.) INAP\/WLP\/WFLP -2019. LNCS (LNAI), vol. 12057, pp. 199\u2013214. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-46714-2_13"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Ernsting, M., Majchrzak, T.A., Kuchen, H.: Dynamic solution of linear constraints for test case generation. In: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pp. 271\u2013274 (2012). https:\/\/doi.org\/10.1109\/TASE.2012.39","DOI":"10.1109\/TASE.2012.39"},{"issue":"6","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3011286.3011296","volume":"41","author":"A Fromherz","year":"2017","unstructured":"Fromherz, A., Luckow, K.S., P\u0103s\u0103reanu, C.S.: Symbolic arrays in symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6), 1\u20135 (2017). https:\/\/doi.org\/10.1145\/3011286.3011296","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"8_CR10","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java\u00ae Language Specification - Java SE 8 Edition (2015). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf"},{"issue":"8","key":"8_CR11","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng. 16(8), 870\u2013879 (1990). https:\/\/doi.org\/10.1109\/32.57624","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K Kuchcinski","year":"2003","unstructured":"Kuchcinski, K.: Constraints-driven scheduling and resource assignment. ACM Trans. Des. Autom. Electron. Syst. 8(3), 355\u2013383 (2003). https:\/\/doi.org\/10.1145\/785411.785416","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"8_CR13","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java\u00ae Virtual Machine Specification - Java SE 8 Edition (2015). https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/jvms8.pdf"},{"key":"8_CR14","unstructured":"McCarthy, J.: Towards a mathematical science of computation. In: Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, North-Holland, 27 August\u20131 September 1962, pp. 21\u201328 (1962)"},{"key":"8_CR15","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 de Moura","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. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Generalized, efficient array decision procedures. In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15\u201318 November 2009, Austin, Texas, USA, pp. 45\u201352. IEEE (2009). https:\/\/doi.org\/10.1109\/FMCAD.2009.5351142","DOI":"10.1109\/FMCAD.2009.5351142"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Tillmann, N., de Halleux, J.: White-box testing of behavioral web service contracts with Pex. In: Bultan, T., Xie, T. (eds.) Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, 21 July 2008, pp. 47\u201348. ACM (2008). https:\/\/doi.org\/10.1145\/1390832.1390840","DOI":"10.1145\/1390832.1390840"},{"key":"8_CR18","unstructured":"Z3: Z3 Java Bindings API: Context (2019). https:\/\/z3prover.github.io\/api\/html\/classcom_1_1microsoft_1_1z3_1_1_context.html"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75333-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T11:49:28Z","timestamp":1672055368000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75333-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030753320","9783030753337"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75333-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"6 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WFLP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Functional and Constraint Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wflp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/helm.cs.unibo.it\/wflp2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}