{"id":"https://openalex.org/W2577548871","doi":"https://doi.org/10.1017/s147106841700045x","title":"Random generation of closed simply typed \u03bb-terms: A synergy between logic programming and Boltzmann samplers","display_name":"Random generation of closed simply typed \u03bb-terms: A synergy between logic programming and Boltzmann samplers","publication_year":2017,"publication_date":"2017-10-13","ids":{"openalex":"https://openalex.org/W2577548871","doi":"https://doi.org/10.1017/s147106841700045x","mag":"2577548871"},"language":"en","primary_location":{"id":"doi:10.1017/s147106841700045x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841700045x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ruj.uj.edu.pl/xmlui/handle/item/51376","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036540043","display_name":"Maciej Bendkowski","orcid":null},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"MACIEJ BENDKOWSKI","raw_affiliation_strings":["Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, ul. Prof. \u0141ojasiewicza 6, 30-348 Krak\u00f3w, Poland (e-mail:"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, ul. Prof. \u0141ojasiewicza 6, 30-348 Krak\u00f3w, Poland (e-mail:","institution_ids":["https://openalex.org/I126596746"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067755415","display_name":"Katarzyna Grygiel","orcid":null},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"KATARZYNA GRYGIEL","raw_affiliation_strings":["Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, ul. Prof. \u0141ojasiewicza 6, 30-348 Krak\u00f3w, Poland (e-mail:"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, ul. Prof. \u0141ojasiewicza 6, 30-348 Krak\u00f3w, Poland (e-mail:","institution_ids":["https://openalex.org/I126596746"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042600106","display_name":"Paul Tarau","orcid":"https://orcid.org/0000-0001-7192-9421"},"institutions":[{"id":"https://openalex.org/I123534392","display_name":"University of North Texas","ror":"https://ror.org/00v97ad02","country_code":"US","type":"education","lineage":["https://openalex.org/I123534392"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"PAUL TARAU","raw_affiliation_strings":["Department of Computer Science and Engineering, University of North Texas, Denton, TX, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of North Texas, Denton, TX, USA (e-mail:","institution_ids":["https://openalex.org/I123534392"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036540043"],"corresponding_institution_ids":["https://openalex.org/I126596746"],"apc_list":null,"apc_paid":null,"fwci":2.5291,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.91162048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"1","first_page":"97","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8584456443786621},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.624779224395752},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5803220868110657},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.5606379508972168},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4783196449279785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4739627540111542},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.4385346472263336},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.41931748390197754},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.4120982587337494},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10848027467727661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8584456443786621},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.624779224395752},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5803220868110657},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.5606379508972168},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4783196449279785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4739627540111542},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.4385346472263336},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.41931748390197754},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4120982587337494},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10848027467727661},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s147106841700045x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841700045x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:ruj.uj.edu.pl:item/51376","is_oa":true,"landing_page_url":"https://ruj.uj.edu.pl/xmlui/handle/item/51376","pdf_url":null,"source":{"id":"https://openalex.org/S4306400316","display_name":"Homo Politicus (Academy of Humanities and Economics in Lodz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"artyku\u0142 w czasopi\u015bmie"}],"best_oa_location":{"id":"pmh:oai:ruj.uj.edu.pl:item/51376","is_oa":true,"landing_page_url":"https://ruj.uj.edu.pl/xmlui/handle/item/51376","pdf_url":null,"source":{"id":"https://openalex.org/S4306400316","display_name":"Homo Politicus (Academy of Humanities and Economics in Lodz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"artyku\u0142 w czasopi\u015bmie"},"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W186403072","https://openalex.org/W219446931","https://openalex.org/W1140607451","https://openalex.org/W1528269269","https://openalex.org/W1587553526","https://openalex.org/W1921642287","https://openalex.org/W1982202832","https://openalex.org/W2115418771","https://openalex.org/W2119717320","https://openalex.org/W2125126351","https://openalex.org/W2253568516","https://openalex.org/W2296468158","https://openalex.org/W2296657109","https://openalex.org/W2340541605","https://openalex.org/W2415757641","https://openalex.org/W2562076538","https://openalex.org/W2568721247","https://openalex.org/W2963504583","https://openalex.org/W3098021658","https://openalex.org/W3105860748","https://openalex.org/W4244488020","https://openalex.org/W4299490515","https://openalex.org/W4388299483","https://openalex.org/W4399412362"],"related_works":["https://openalex.org/W4287686397","https://openalex.org/W3080447568","https://openalex.org/W4378501577","https://openalex.org/W4386138535","https://openalex.org/W1544967197","https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106"],"abstract_inverted_index":{"Abstract":[0],"A":[1,36],"natural":[2],"approach":[3],"to":[4,28,63,130,137,153,176],"software":[5,89],"quality":[6],"assurance":[7],"consists":[8],"in":[9,45,50,86],"writing":[10],"unit":[11],"tests":[12],"securing":[13],"programmer-declared":[14],"code":[15],"invariants.":[16],"Throughout":[17],"the":[18,40,57,64,87,97,154,172],"literature,":[19],"a":[20,82,102,115,132,166],"great":[21],"body":[22],"of":[23,43,69,99,105,145,156],"work":[24],"has":[25],"been":[26],"devoted":[27],"tools":[29],"and":[30,124,164],"techniques":[31,152],"automating":[32],"this":[33,93],"labour-intensive":[34],"process.":[35],"prominent":[37],"example":[38],"is":[39,77],"successful":[41],"use":[42],"randomness,":[44],"particular,":[46],"random":[47,88,106,140,158],"typable":[48,70],"\u03bb-terms,":[49,71],"testing":[51,90],"functional":[52],"programming":[53],"compilers":[54],"such":[55],"as":[56,81],"Glasgow":[58],"Haskell":[59],"Compiler.":[60],"Unfortunately,":[61],"due":[62],"intrinsically":[65],"difficult":[66],"combinatorial":[67,107],"structure":[68,108],"no":[72],"effective":[73],"uniform":[74],"sampling":[75,134],"method":[76],"known,":[78],"setting":[79],"it":[80],"fundamental":[83],"open":[84],"problem":[85],"approach.":[91],"In":[92],"paper,":[94],"we":[95],"combine":[96],"framework":[98],"Boltzmann":[100],"samplers,":[101],"powerful":[103],"technique":[104],"generation,":[109],"with":[110,121],"today's":[111],"Prolog":[112],"systems":[113],"offering":[114],"synergy":[116],"between":[117],"logic":[118],"variables,":[119],"unification":[120],"occurs":[122],"check":[123],"efficient":[125],"backtracking.":[126],"This":[127],"allows":[128],"us":[129],"develop":[131],"novel":[133],"mechanism":[135,169],"able":[136],"construct":[138],"uniformly":[139,157],"closed":[141,159],"simply":[142,160],"typed":[143,161],"\u03bb-terms":[144],"up":[146],"size":[147,175],"120.":[148],"We":[149],"apply":[150],"our":[151],"generation":[155],"normal":[162],"forms":[163],"design":[165],"parallel":[167],"execution":[168],"pushing":[170],"forward":[171],"achievable":[173],"term":[174],"140.":[177]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-07T14:57:38.498316","created_date":"2017-01-26T00:00:00"}