{"id":"https://openalex.org/W2751110509","doi":"https://doi.org/10.1145/3102071.3102076","title":"Program synthesis as a generative method","display_name":"Program synthesis as a generative method","publication_year":2017,"publication_date":"2017-08-14","ids":{"openalex":"https://openalex.org/W2751110509","doi":"https://doi.org/10.1145/3102071.3102076","mag":"2751110509"},"language":"en","primary_location":{"id":"doi:10.1145/3102071.3102076","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102071.3102076","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022104684","display_name":"Eric Butler","orcid":"https://orcid.org/0000-0003-4368-4126"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Butler","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110062437","display_name":"Kristin Siu","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kristin Siu","raw_affiliation_strings":["Georgia Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050520203","display_name":"Alexander Zook","orcid":"https://orcid.org/0000-0002-0178-5060"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Zook","raw_affiliation_strings":["Georgia Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022104684"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.39,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70489585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T11197","display_name":"Digital Games and Media","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9538000226020813,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.872667133808136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7585591673851013},{"id":"https://openalex.org/keywords/generative-design","display_name":"Generative Design","score":0.7552869319915771},{"id":"https://openalex.org/keywords/boss","display_name":"Boss","score":0.6746500730514526},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5729306936264038},{"id":"https://openalex.org/keywords/generative-model","display_name":"Generative model","score":0.5497838854789734},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5476084351539612},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5364274382591248},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5116577744483948},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.46707847714424133},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.46502208709716797},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.46203330159187317},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4568302631378174},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.35688477754592896},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33991408348083496},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.2204645276069641},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1128864586353302},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09237155318260193}],"concepts":[{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.872667133808136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7585591673851013},{"id":"https://openalex.org/C184408114","wikidata":"https://www.wikidata.org/wiki/Q1502022","display_name":"Generative Design","level":3,"score":0.7552869319915771},{"id":"https://openalex.org/C2777020290","wikidata":"https://www.wikidata.org/wiki/Q4947493","display_name":"Boss","level":2,"score":0.6746500730514526},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5729306936264038},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.5497838854789734},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5476084351539612},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5364274382591248},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5116577744483948},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.46707847714424133},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.46502208709716797},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46203330159187317},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4568302631378174},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.35688477754592896},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33991408348083496},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2204645276069641},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1128864586353302},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09237155318260193},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3102071.3102076","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3102071.3102076","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W118696858","https://openalex.org/W1211190365","https://openalex.org/W1512506408","https://openalex.org/W1972271534","https://openalex.org/W1973831620","https://openalex.org/W2008373880","https://openalex.org/W2020987898","https://openalex.org/W2025845093","https://openalex.org/W2028208918","https://openalex.org/W2046451080","https://openalex.org/W2060610732","https://openalex.org/W2103823214","https://openalex.org/W2144230296","https://openalex.org/W2152660354","https://openalex.org/W2160237541","https://openalex.org/W2168115594","https://openalex.org/W2285705249","https://openalex.org/W2294628582","https://openalex.org/W2532752874","https://openalex.org/W2534314849","https://openalex.org/W2536932382","https://openalex.org/W2538608760","https://openalex.org/W2726070921","https://openalex.org/W2729848669"],"related_works":["https://openalex.org/W4301024388","https://openalex.org/W4391334978","https://openalex.org/W775311126","https://openalex.org/W1517876498","https://openalex.org/W4300030714","https://openalex.org/W2489288131","https://openalex.org/W4317695495","https://openalex.org/W4380551139","https://openalex.org/W4388137171","https://openalex.org/W1967909251"],"abstract_inverted_index":{"Generative":[0,50],"methods":[1,51],"(also":[2],"known":[3],"as":[4,19,62,141,189],"procedural":[5],"content":[6],"generation)":[7],"have":[8,52],"been":[9,53],"used":[10,119],"to":[11,41,58,72,81,88,123,156],"generate":[12,158],"a":[13,26,30,39,90,104,115,121,136,142,149,164,179,190],"variety":[14],"of":[15,25,93,139,144,167,182],"static":[16],"artifacts":[17,60],"such":[18,61,114],"game":[20],"levels.":[21],"One":[22],"key":[23],"property":[24],"generative":[27,83,91,137,154,180],"method":[28],"for":[29,107,130],"particular":[31],"domain":[32],"is":[33,78,86],"how":[34,113],"effectively":[35],"the":[36,43,68],"approach":[37],"allows":[38],"designer":[40,122],"express":[42],"properties":[44,127],"and":[45,76,128,161],"constraints":[46,129],"they":[47],"care":[48],"about.":[49],"applied":[54],"much":[55],"less":[56],"frequently":[57],"dynamic":[59,183],"boss":[63,74,109],"behaviors,":[64,110],"in":[65],"part":[66],"because":[67],"complex":[69,172],"representation":[70],"required":[71],"describe":[73,89,124],"morphology":[75],"behavior":[77],"not":[79],"amenable":[80],"existing":[82],"techniques.":[84],"It":[85],"challenging":[87],"space":[92,138,143,181],"varied":[94],"yet":[95],"valid":[96],"behaviors.":[97],"Expanding":[98],"on":[99],"previous":[100],"work":[101],"that":[102,152,177],"introduced":[103],"programming":[105],"language":[106,116],"representing":[108],"we":[111,134,162],"illustrate":[112],"can":[117,185],"be":[118,186],"by":[120],"desirable":[125],"design":[126,192],"bosses.":[131],"That":[132],"is,":[133],"define":[135],"bosses":[140,170],"well-formed":[145,159],"programs.":[146],"We":[147,175],"present":[148],"constructive":[150],"algorithm":[151],"extends":[153],"grammars":[155],"efficiently":[157],"programs,":[160],"show":[163],"complete":[165],"example":[166],"generating":[168],"Mega-Man-like":[169],"with":[171],"attack":[173],"patterns.":[174],"conclude":[176],"designing":[178],"behaviors":[184],"fruitfully":[187],"framed":[188],"programming-language":[191],"problem.":[193]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}