{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:36:57Z","timestamp":1783766217276,"version":"3.55.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030581145","type":"print"},{"value":"9783030581152","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58115-2_2","type":"book-chapter","created":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T22:02:51Z","timestamp":1598997771000},"page":"18-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["The Usability Argument for Refinement Typed Genetic Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0879-4015","authenticated-orcid":false,"given":"Alcides","family":"Fonseca","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0154-8989","authenticated-orcid":false,"given":"Paulo","family":"Santos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8223-4799","authenticated-orcid":false,"given":"Sara","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,9,2]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated Formal Methods","author":"T Ball","year":"2004","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and static driver verifier: technology transfer of formal methods inside microsoft. In: Boiten, E.A., Derrick, J., Smith, G. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1\u201320. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24756-2_1"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-03359-9_6","volume-title":"Theorem Proving in Higher Order Logics","author":"A Bove","year":"2009","unstructured":"Bove, A., Dybjer, P., Norell, U.: A brief overview of agda \u2013 a functional language with dependent types. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 73\u201378. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03359-9_6"},{"issue":"05","key":"2_CR3","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1017\/S095679681300018X","volume":"23","author":"E Brady","year":"2013","unstructured":"Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(05), 552\u2013593 (2013)","journal-title":"J. Funct. Program."},{"key":"2_CR4","unstructured":"Brink, K., van Katwijk, J., Toetenel, W.: Ada 95 as implementation vehicle for formal specifications. In: Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications, pp. 98\u2013105. IEEE (1996)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-13321-3_6","volume-title":"Mathematics of Program Construction","author":"K Brink","year":"2010","unstructured":"Brink, K., Holdermans, S., L\u00f6h, A.: Dependently typed grammars. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol. 6120, pp. 58\u201379. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13321-3_6"},{"issue":"11","key":"2_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/101356.101357","volume":"25","author":"H Christiansen","year":"1990","unstructured":"Christiansen, H.: A survey of adaptable grammars. ACM SIGPLAN Notices 25(11), 35\u201344 (1990)","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1064978.1065015","volume":"40","author":"T Elmas","year":"2005","unstructured":"Elmas, T., Tasiran, S., Qadeer, S.: Vyrd: verifying concurrent programs by runtime refinement-violation detection. ACM SIGPLAN Notices 40(6), 27\u201337 (2005)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Gissurarson, M.P.: Suggesting Valid Hole Fits for Typed-Holes in Haskell. Master\u2019s thesis (2018)","DOI":"10.1145\/3242744.3242760"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-29139-5_19","volume-title":"Genetic Programming","author":"I Gon\u00e7alves","year":"2012","unstructured":"Gon\u00e7alves, I., Silva, S., Melo, J.B., Carreiras, J.M.B.: Random Sampling Technique for Overfitting Control in Genetic Programming. In: Moraglio, A., Silva, S., Krawiec, K., Machado, P., Cotta, C. (eds.) EuroGP 2012. LNCS, vol. 7244, pp. 218\u2013229. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29139-5_19"},{"issue":"2","key":"2_CR10","first-page":"359","volume":"2","author":"TD Haynes","year":"1996","unstructured":"Haynes, T.D., Schoenefeld, D.A., Wainwright, R.L.: Type inheritance in strongly typed genetic programming. Adv. Genetic Program. 2(2), 359\u2013376 (1996)","journal-title":"Adv. Genetic Program."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Helmuth, T., Mcphee, N., Spector, L.: Lexicase selection for program synthesis: a diversity analysis, pp. 151\u2013167 (2016)","DOI":"10.1007\/978-3-319-34223-8_9"},{"issue":"8","key":"2_CR12","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. Software Eng. 16(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Software Eng."},{"issue":"24","key":"2_CR13","doi-asserted-by":"publisher","first-page":"3096","DOI":"10.1093\/bioinformatics\/btl474","volume":"22","author":"SL Kosakovsky Pond","year":"2006","unstructured":"Kosakovsky Pond, S.L., Posada, D., Gravenor, M.B., Woelk, C.H., Frost, S.D.: Gard: a genetic algorithm for recombination detection. Bioinformatics 22(24), 3096\u20133098 (2006)","journal-title":"Bioinformatics"},{"key":"2_CR14","unstructured":"Koza, J.R.: Genetic Programming: On The Programming of Computers by Means Of Natural Selection, vol. 1. MIT press (1992)"},{"key":"2_CR15","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-27565-9_1","volume-title":"Behavioral Program Synthesis with Genetic Programming","author":"K Krawiec","year":"2016","unstructured":"Krawiec, K.: Program synthesis. Behavioral Program Synthesis with Genetic Programming. SCI, vol. 618, pp. 1\u201319. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-27565-9_1"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Kruchten, P., Thompson, C.J.: An object-oriented, distributed architecture for large-scale ADA systems. In: Proceedings of the Conference on TRI-ADA 1994, pp. 262\u2013271 (1994)","DOI":"10.1145\/197694.197728"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1162\/evco_a_00224","volume":"27","author":"W La Cava","year":"2019","unstructured":"La Cava, W., Helmuth, T., Spector, L., Moore, J.H.: A probabilistic and multi-objective analysis of lexicase selection and e-lexicase selection. Evol. Comput. 27(3), 377\u2013402 (2019). https:\/\/doi.org\/10.1162\/evco_a_00224","journal-title":"Evol. Comput."},{"key":"2_CR18","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a Java modeling language. In: Formal Underpinnings of Java Workshop (at OOPSLA), pp. 404\u2013420 (1998)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Loveard, T., Ciesielski, V.: Representing classification problems in genetic programming. In: Evolutionary Computation, vol. 2, pp. 1070\u20131077. IEEE (2001)","DOI":"10.1109\/CEC.2001.934310"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/2692956.2663188","volume":"34","author":"ND Matsakis","year":"2014","unstructured":"Matsakis, N.D., Klock, F.S.: The rust language. ACM SIGAda Ada Letters 34(3), 103\u2013104 (2014)","journal-title":"ACM SIGAda Ada Letters"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10710-010-9109-y","volume":"11","author":"RI Mckay","year":"2010","unstructured":"Mckay, R.I., Hoai, N.X., et al.: Grammar-based genetic programming: a survey. Genetic Program. Evol. Mach. 11(3), 365\u2013396 (2010)","journal-title":"Genetic Program. Evol. Mach."},{"key":"2_CR22","unstructured":"McPhee, N.F., Hopper, N.J., Reierson, M.L.: Impact of types on essentially typeless problems in GP. In: Genetic Programming, pp. 232\u2013240 (1998)"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/24686.24694","volume":"22","author":"B Meyer","year":"1987","unstructured":"Meyer, B.: Eiffel: programming for reusability and extendibility. ACM Sigplan Notices 22(2), 85\u201394 (1987)","journal-title":"ACM Sigplan Notices"},{"issue":"2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"Montana, D.J.: Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995)","journal-title":"Evol. Comput."},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Omar, C., Voysey, I., Chugh, R., Hammer, M.A.: Live functional programming with typed holes. Proc. ACM Program. Lang. 3(POPL), 1\u201332 (2019)","DOI":"10.1145\/3290327"},{"key":"2_CR26","unstructured":"O\u2019Neill, M., Ryan, C.: Grammar based function definition in grammatical evolution. In: Proceedings of the 2nd Annual Conference on Genetic and Evolutionary Computation, pp. 485\u2013490 (2000)"},{"issue":"1","key":"2_CR27","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/TEVC.2006.880327","volume":"11","author":"A Ortega","year":"2007","unstructured":"Ortega, A., De La Cruz, M., Alfonseca, M.: Christiansen grammar evolution: grammatical evolution with semantics. IEEE Trans. Evol. Comput. 11(1), 77\u201390 (2007)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"2_CR28","unstructured":"Poli, R., Langdon, W.B., McPhee, N.F.: A field guide to genetic programming. Published via http:\/\/lulu.com and freely available at http:\/\/www.gp-field-guide.org.uk (2008), (With contributions by J. R. Koza)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Polikarpova, N., Kuraj, I., Solar-Lezama, A.: Program synthesis from polymorphic refinement types. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 522\u2013538. ACM (2016)","DOI":"10.1145\/2980983.2908093"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Rondon, P.M., Kawaguci, M., Jhala, R.: Liquid types. In: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 159\u2013169 (2008)","DOI":"10.1145\/1379022.1375602"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-45984-7_27","volume-title":"Genetic Programming","author":"C Ryan","year":"2002","unstructured":"Ryan, C., Nicolau, M., O\u2019Neill, M.: Genetic Algorithms Using Grammatical Evolution. In: Foster, J.A., Lutton, E., Miller, J., Ryan, C., Tettamanzi, A. (eds.) EuroGP 2002. LNCS, vol. 2278, pp. 278\u2013287. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45984-7_27"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Shaker, N., Nicolau, M., Yannakakis, G.N., Togelius, J., O\u2019neill, M.: Evolving levels for super mario bros using grammatical evolution. In: 2012 IEEE Conference on Computational Intelligence and Games (CIG). pp. 304\u2013311. IEEE (2012)","DOI":"10.1109\/CIG.2012.6374170"},{"key":"2_CR33","unstructured":"Shutt, J.N.: Recursive adaptable grammars (1999)"},{"key":"2_CR34","volume-title":"Program synthesis by sketching","author":"A Solar-Lezama","year":"2008","unstructured":"Solar-Lezama, A.: Program synthesis by sketching. University of California, Berkeley (2008)"},{"key":"2_CR35","unstructured":"Spector, L., Barnum, H., Bernstein, H.J., Swamy, N.: Finding a better-than-classical quantum and\/or algorithm using genetic programming. In: Evolutionary Computation. vol. 3, pp. 2239\u20132246. IEEE (1999)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Vazou, N., Seidel, E.L., Jhala, R., Vytiniotis, D., Peyton-Jones, S.: Refinement types for haskell. In: ACM SIGPLAN Notices. vol. 49, pp. 269\u2013282. ACM (2014)","DOI":"10.1145\/2692915.2628161"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45355-5_17","volume-title":"Genetic Programming","author":"T Yu","year":"2001","unstructured":"Yu, T.: Polymorphism and Genetic Programming. In: Miller, J., Tomassini, M., Lanzi, P.L., Ryan, C., Tettamanzi, A.G.B., Langdon, W.B. (eds.) EuroGP 2001. LNCS, vol. 2038, pp. 218\u2013233. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45355-5_17"}],"container-title":["Lecture Notes in Computer Science","Parallel Problem Solving from Nature \u2013 PPSN XVI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58115-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T00:45:26Z","timestamp":1723509926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58115-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030581145","9783030581152"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58115-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"2 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PPSN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Problem Solving from Nature","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leiden","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"5 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ppsn2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ppsn2020.liacs.leidenuniv.nl\/","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":"268","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":"99","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":"37% - 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":"2.2","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}