{"id":"https://openalex.org/W2012827905","doi":"https://doi.org/10.1017/s0956796814000185","title":"The Kansas University rewrite engine","display_name":"The Kansas University rewrite engine","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2012827905","doi":"https://doi.org/10.1017/s0956796814000185","mag":"2012827905"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796814000185","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796814000185","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B188BD6CAC68A121C219FA5315AF0C21/S0956796814000185a.pdf/div-class-title-the-kansas-university-rewrite-engine-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B188BD6CAC68A121C219FA5315AF0C21/S0956796814000185a.pdf/div-class-title-the-kansas-university-rewrite-engine-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078273982","display_name":"Neil Sculthorpe","orcid":"https://orcid.org/0000-0002-7244-0916"},"institutions":[{"id":"https://openalex.org/I146416000","display_name":"University of Kansas","ror":"https://ror.org/001tmjg57","country_code":"US","type":"education","lineage":["https://openalex.org/I146416000"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"NEIL SCULTHORPE","raw_affiliation_strings":["Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:","institution_ids":["https://openalex.org/I146416000"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086726692","display_name":"Nicolas Frisby","orcid":null},"institutions":[{"id":"https://openalex.org/I146416000","display_name":"University of Kansas","ror":"https://ror.org/001tmjg57","country_code":"US","type":"education","lineage":["https://openalex.org/I146416000"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"NICOLAS FRISBY","raw_affiliation_strings":["Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:","institution_ids":["https://openalex.org/I146416000"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029124439","display_name":"Andy Gill","orcid":null},"institutions":[{"id":"https://openalex.org/I146416000","display_name":"University of Kansas","ror":"https://ror.org/001tmjg57","country_code":"US","type":"education","lineage":["https://openalex.org/I146416000"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ANDY GILL","raw_affiliation_strings":["Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information and Telecommunication Technology Center, The University of Kansas, USA (e-mail:","institution_ids":["https://openalex.org/I146416000"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I146416000"],"apc_list":null,"apc_paid":null,"fwci":5.3586,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.94801074,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"24","issue":"4","first_page":"434","last_page":"473"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"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.9973000288009644,"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/T10260","display_name":"Software Engineering Research","score":0.9937999844551086,"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/computer-science","display_name":"Computer science","score":0.8501938581466675},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6861008405685425},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5560182332992554},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.5369479656219482},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4805881977081299},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.45301514863967896},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.42401134967803955},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4109850525856018},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3540750741958618},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.2808975279331207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8501938581466675},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6861008405685425},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5560182332992554},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.5369479656219482},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4805881977081299},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.45301514863967896},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.42401134967803955},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4109850525856018},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3540750741958618},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2808975279331207}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0956796814000185","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796814000185","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B188BD6CAC68A121C219FA5315AF0C21/S0956796814000185a.pdf/div-class-title-the-kansas-university-rewrite-engine-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:irep.ntu.ac.uk:27901","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400559","display_name":"Nottingham Trent University's Institutional Repository (Nottingham Trent Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52590639","host_organization_name":"Nottingham Trent University","host_organization_lineage":["https://openalex.org/I52590639"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1017/s0956796814000185","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796814000185","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B188BD6CAC68A121C219FA5315AF0C21/S0956796814000185a.pdf/div-class-title-the-kansas-university-rewrite-engine-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G3493108607","display_name":"SHF: Small: Improving the Applicability of Haskell-Hosted Semi-Formal Models to High Assurance Development","funder_award_id":"1117569","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2012827905.pdf","grobid_xml":"https://content.openalex.org/works/W2012827905.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W15565884","https://openalex.org/W199231109","https://openalex.org/W206809417","https://openalex.org/W1467316755","https://openalex.org/W1518650316","https://openalex.org/W1572186276","https://openalex.org/W1580128549","https://openalex.org/W1975276861","https://openalex.org/W1978948468","https://openalex.org/W1979982425","https://openalex.org/W1997044756","https://openalex.org/W2004176798","https://openalex.org/W2022744394","https://openalex.org/W2023299380","https://openalex.org/W2041037071","https://openalex.org/W2064623306","https://openalex.org/W2071978920","https://openalex.org/W2076441445","https://openalex.org/W2078200248","https://openalex.org/W2078944436","https://openalex.org/W2082334237","https://openalex.org/W2092048453","https://openalex.org/W2093896470","https://openalex.org/W2095625219","https://openalex.org/W2110317952","https://openalex.org/W2116813111","https://openalex.org/W2118165414","https://openalex.org/W2124274632","https://openalex.org/W2125690388","https://openalex.org/W2125872407","https://openalex.org/W2126359429","https://openalex.org/W2127382014","https://openalex.org/W2131916293","https://openalex.org/W2132558197","https://openalex.org/W2138452186","https://openalex.org/W2141576692","https://openalex.org/W2142922207","https://openalex.org/W2144541538","https://openalex.org/W2146069884","https://openalex.org/W2151073063","https://openalex.org/W2160248416","https://openalex.org/W2162604396","https://openalex.org/W2163552400","https://openalex.org/W2170069181","https://openalex.org/W2223046624","https://openalex.org/W2407596589","https://openalex.org/W2806822774","https://openalex.org/W2912956128","https://openalex.org/W2962807115","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1688372159","https://openalex.org/W2493130382","https://openalex.org/W2145738007","https://openalex.org/W3087634590","https://openalex.org/W2110095505","https://openalex.org/W2779713464","https://openalex.org/W2971609332","https://openalex.org/W2168938117","https://openalex.org/W4235669620","https://openalex.org/W1523945189"],"abstract_inverted_index":{"Abstract":[0],"When":[1],"writing":[2],"transformation":[3,44],"systems,":[4],"a":[5,43,60,67,105],"significant":[6],"amount":[7],"of":[8,42,126,137,143,157,174],"engineering":[9],"effort":[10],"goes":[11],"into":[12],"setting":[13,107],"up":[14],"the":[15,26,40,82,123,131,135,141,147,155,172],"infrastructure":[16,35],"needed":[17],"to":[18,22,74,87,117,120,165,168,190],"direct":[19],"individual":[20],"transformations":[21,77,90],"specific":[23],"targets":[24],"in":[25,104,110,146],"data":[27,51],"being":[28,152],"transformed.":[29],"Strategic":[30,102],"programming":[31,63,103,114],"languages":[32],"provide":[33],"general-purpose":[34],"for":[36,48],"this":[37],"task,":[38],"which":[39],"author":[41],"system":[45],"can":[46,133],"use":[47],"any":[49,100],"algebraic":[50],"structure.":[52],"The":[53],"Kansas":[54],"University":[55],"Rewrite":[56],"Engine":[57],"(KURE)":[58],"is":[59,72,85,129],"typed":[61,76,79,106],"strategic":[62,191],"language,":[64],"implemented":[65],"as":[66],"Haskell-embedded":[68],"domain-specific":[69],"language.":[70],"KURE":[71],"designed":[73],"support":[75],"over":[78,99],"data,":[80],"and":[81,171,184,192],"main":[83],"challenge":[84],"how":[86],"make":[88],"such":[89],"compatible":[91],"with":[92,112,187],"generic":[93,169],"traversal":[94],"strategies":[95],"that":[96,130,175],"should":[97],"operate":[98],"type.":[101],"has":[108],"much":[109],"common":[111],"datatype-generic":[113,121,193],".":[115],"Compared":[116],"other":[118,188],"approaches":[119,189],"programming,":[122],"distinguishing":[124],"feature":[125],"KURE's":[127,163],"solution":[128],"user":[132],"configure":[134],"behaviour":[136,151],"traversals":[138],"based":[139],"on":[140],"location":[142],"each":[144,158],"datum":[145],"tree,":[148],"beyond":[149],"their":[150,185],"determined":[153],"by":[154],"type":[156],"datum.":[159],"This":[160],"article":[161],"describes":[162],"approach":[164],"assigning":[166],"types":[167],"traversals,":[170],"implementation":[173],"approach.":[176],"We":[177],"also":[178],"compare":[179],"KURE,":[180],"its":[181],"design":[182],"choices,":[183],"consequences,":[186],"programming.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}