{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:27:59Z","timestamp":1742912879331,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031457838"},{"type":"electronic","value":"9783031457845"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45784-5_8","type":"book-chapter","created":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T17:01:40Z","timestamp":1697389300000},"page":"118-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Relational Solver for\u00a0Java Generics Type System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3563-2828","authenticated-orcid":false,"given":"Peter","family":"Lozov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6773-5322","authenticated-orcid":false,"given":"Dmitry","family":"Kosarev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Ivanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8363-7143","authenticated-orcid":false,"given":"Dmitry","family":"Boulytchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"8_CR1","unstructured":"Java programming language page. https:\/\/www.oracle.com\/java\/"},{"key":"8_CR2","unstructured":"Tiobe index. https:\/\/www.tiobe.com\/tiobe-index\/"},{"key":"8_CR3","unstructured":"Unittestbot java. https:\/\/github.com\/UnitTestBot\/UTBotJava"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-44450-5_16","volume-title":"FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science","author":"S Abramov","year":"2000","unstructured":"Abramov, S., Gl\u00fcck, R.: Combining semantics with non-standard interpreter hierarchies. In: Kapoor, S., Prasad, S. (eds.) FSTTCS 2000. LNCS, vol. 1974, pp. 201\u2013213. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44450-5_16"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Abramov, S., Gl\u00fcck, R.: From standard to non-standard semantics by semantics modifiers. Int. J. Found. Comput. Sci. 12(02), 171\u2013211 (2001). https:\/\/doi.org\/10.1142\/S0129054101000448","DOI":"10.1142\/S0129054101000448"},{"key":"8_CR6","unstructured":"Alvis, C.E., Willcock, J.J., Carter, K.M., Byrd, W.E., Friedman, D.P.: cKanren: minikanren with constraints. In: Proceedings of the 2011 Annual Workshop on Scheme and Functional Programming. Scheme 2011 (2011)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Byrd, W.E., Ballantyne, M., Rosenblatt, G., Might, M.: A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 8:1\u20138:26 (2017)","DOI":"10.1145\/3110252"},{"key":"8_CR8","unstructured":"Byrd, W.E., Friedman, D.P.: $$\\alpha $$ kanren a fresh name in nominal logic programming. In: Scheme and Functional Programming (2007)"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Byrd, W.E., Holk, E., Friedman, D.P.: Minikanren, live and untagged: quine generation via relational interpreters (programming pearl). In: Proceedings of the Annual Workshop on Scheme and Functional Programming, Scheme 2012, pp. 8\u201329. Association for Computing Machinery, New York (2012). https:\/\/doi.org\/10.1145\/2661103.2661105","DOI":"10.1145\/2661103.2661105"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82\u201390 (2013). https:\/\/doi.org\/10.1145\/2408776.2408795","DOI":"10.1145\/2408776.2408795"},{"key":"8_CR11","unstructured":"Comon, H.: Disunification: a survey. In: Computational Logic \u2013 Essays in Honor of Alan Robinson, pp. 322\u2013359 (1991)"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Friedman, D.P., Byrd, W.E., Kiselyov, O., Hemann, J.: The Reasoned Schemer, 2nd edn. The MIT Press, Cambridge (2005). https:\/\/doi.org\/10.7551\/mitpress\/5801.001.0001","DOI":"10.7551\/mitpress\/5801.001.0001"},{"key":"8_CR13","unstructured":"Gosling, J., Joy, B., Bracha, G.S.G., Buckley, A., Smith, D., Bierman, G.: The Java Language Specification; Java SE 20 Edition (2023). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se20\/jls20.pdf"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Grigore, R.: Java generics are turing complete. SIGPLAN Not. 52(1), 73\u201385 (2017). https:\/\/doi.org\/10.1145\/3093333.3009871","DOI":"10.1145\/3093333.3009871"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Ivanov, D., et al.: UTBot java at the SBST2022 tool competition. In: 2022 IEEE\/ACM 15th International Workshop on Search-Based Software Testing (SBST), pp. 39\u201340 (2022). https:\/\/doi.org\/10.1145\/3526072.3527529","DOI":"10.1145\/3526072.3527529"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Kiselyov, O., Shan, C.C., Friedman, D.P., Sabry, A.: Backtracking, interleaving, and terminating monad transformers: (functional pearl). In: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, pp. 192\u2013203. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1086365.1086390","DOI":"10.1145\/1086365.1086390"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Kosarev, D., Boulytchev, D.: Typed embedding of a relational language in OCaml, pp. 1\u201322 (2016). https:\/\/doi.org\/10.4204\/EPTCS.285.1","DOI":"10.4204\/EPTCS.285.1"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-030-64437-6_15","volume-title":"Programming Languages and Systems","author":"D Kosarev","year":"2020","unstructured":"Kosarev, D., Lozov, P., Boulytchev, D.: Relational synthesis for pattern matching. In: Oliveira, B.C.S. (ed.) APLAS 2020. LNCS, vol. 12470, pp. 293\u2013310. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64437-6_15"},{"key":"8_CR19","unstructured":"Leroy, X., Doligez, D., Alain Frisch, J.G., R\u00e9my, D., Vouillon, J.: The ocaml system, release 5.0 (2022)"},{"key":"8_CR20","unstructured":"Lozov, P., Verbitskaia, E., Boulytchev, D.: Relational interpreters for search problems. In: miniKanren and Relational Programming Workshop (2019)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-89719-6_3","volume-title":"Trends in Functional Programming","author":"P Lozov","year":"2018","unstructured":"Lozov, P., Vyatkin, A., Boulytchev, D.: Typed relational conversion. In: Wang, M., Owens, S. (eds.) TFP 2017. LNCS, vol. 10788, pp. 39\u201358. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89719-6_3"},{"key":"8_CR22","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002). http:\/\/ropas.snu.ac.kr\/~kwang\/520\/pierce_book.pdf"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-030-64437-6_9","volume-title":"Programming Languages and Systems","author":"D Rozplokhas","year":"2020","unstructured":"Rozplokhas, D., Vyatkin, A., Boulytchev, D.: Certified semantics for relational programming. In: Oliveira, B.C.S. (ed.) APLAS 2020. LNCS, vol. 12470, pp. 167\u2013185. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64437-6_9"},{"key":"8_CR24","unstructured":"Torgersen, M., Ernst, E., Hansen, C.: Wild fj. In: Proceedings of FOOL 12, the Twelth International Workshop on Foundations of Object-Oriented Languages; Conference date: 15 January 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45784-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T18:11:09Z","timestamp":1697393469000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45784-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031457838","9783031457845"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45784-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"16 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cascais","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lopstr.github.io\/2023\/","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":"29","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":"4","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":"28% - 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":"3","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)"}}]}}