{"id":"https://openalex.org/W2887637582","doi":"https://doi.org/10.1145/3236800","title":"Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)","display_name":"Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)","publication_year":2018,"publication_date":"2018-07-30","ids":{"openalex":"https://openalex.org/W2887637582","doi":"https://doi.org/10.1145/3236800","mag":"2887637582"},"language":"en","primary_location":{"id":"doi:10.1145/3236800","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236800","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236800","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3236800","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054308182","display_name":"Guannan Wei","orcid":"https://orcid.org/0000-0002-3150-2033"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guannan Wei","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112196819","display_name":"James Decker","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Decker","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003153354","display_name":"Tiark Rompf","orcid":"https://orcid.org/0000-0002-2068-3238"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tiark Rompf","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054308182"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.8462,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.80510804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2","issue":"ICFP","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9959999918937683,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9959999918937683,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10028","display_name":"Topic Modeling","score":0.9904999732971191,"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.7963181734085083},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.7914842963218689},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.57639479637146},{"id":"https://openalex.org/keywords/linearization","display_name":"Linearization","score":0.480745792388916},{"id":"https://openalex.org/keywords/abstract-machine","display_name":"Abstract machine","score":0.4773395359516144},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4571113884449005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4443151652812958}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7963181734085083},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.7914842963218689},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.57639479637146},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.480745792388916},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.4773395359516144},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4571113884449005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4443151652812958},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236800","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236800","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236800","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3236800","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236800","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236800","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1083356329","display_name":null,"funder_award_id":"1564207","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2304702679","display_name":null,"funder_award_id":"1553471 and 1564207","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3747613611","display_name":null,"funder_award_id":"1553471","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6500779413","display_name":null,"funder_award_id":"DE-SC001805","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G7364598548","display_name":null,"funder_award_id":"DE-SC0018050","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G788302471","display_name":null,"funder_award_id":"DE-SC0018050","funder_id":"https://openalex.org/F4320337674","funder_display_name":"Wind Energy Technologies Office"},{"id":"https://openalex.org/G98650104","display_name":null,"funder_award_id":"1553471, 1564207","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"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320337674","display_name":"Wind Energy Technologies Office","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2887637582.pdf","grobid_xml":"https://content.openalex.org/works/W2887637582.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W1578657094","https://openalex.org/W1589945454","https://openalex.org/W1599217540","https://openalex.org/W1651122320","https://openalex.org/W1858449664","https://openalex.org/W1915934711","https://openalex.org/W1966776129","https://openalex.org/W1971786688","https://openalex.org/W1974895492","https://openalex.org/W1990810662","https://openalex.org/W1997143185","https://openalex.org/W1999336811","https://openalex.org/W2013885073","https://openalex.org/W2014359987","https://openalex.org/W2016550363","https://openalex.org/W2020259928","https://openalex.org/W2037984920","https://openalex.org/W2043100293","https://openalex.org/W2044549124","https://openalex.org/W2045255985","https://openalex.org/W2045424609","https://openalex.org/W2057085278","https://openalex.org/W2073904768","https://openalex.org/W2102435409","https://openalex.org/W2105443946","https://openalex.org/W2105692950","https://openalex.org/W2112836639","https://openalex.org/W2113098044","https://openalex.org/W2116053402","https://openalex.org/W2124056143","https://openalex.org/W2127114597","https://openalex.org/W2129566109","https://openalex.org/W2133051483","https://openalex.org/W2134112335","https://openalex.org/W2136758562","https://openalex.org/W2139626883","https://openalex.org/W2140430779","https://openalex.org/W2149935768","https://openalex.org/W2153036969","https://openalex.org/W2160646753","https://openalex.org/W2178095747","https://openalex.org/W2209684412","https://openalex.org/W2243388030","https://openalex.org/W2293168108","https://openalex.org/W2294422796","https://openalex.org/W2490166346","https://openalex.org/W2517799069","https://openalex.org/W2610242999","https://openalex.org/W2738478951","https://openalex.org/W2761407757","https://openalex.org/W2964225594","https://openalex.org/W3101981126","https://openalex.org/W3123143760","https://openalex.org/W4231445347","https://openalex.org/W4234009710","https://openalex.org/W4250199140"],"related_works":["https://openalex.org/W2388809697","https://openalex.org/W2369776833","https://openalex.org/W4302830842","https://openalex.org/W4300598347","https://openalex.org/W2953057551","https://openalex.org/W4298738223","https://openalex.org/W2951305779","https://openalex.org/W2014359987","https://openalex.org/W1805550579","https://openalex.org/W2011132234"],"abstract_inverted_index":{"Abstracting":[0],"abstract":[1,18,19,24,27,48,54,66,67,71,93,94,98,155,198,213,232,233],"machines":[2,20,28,68,95],"is":[3,74,153,201],"a":[4,230],"systematic":[5],"methodology":[6],"for":[7,12],"constructing":[8],"sound":[9],"static":[10],"analyses":[11],"higher-order":[13,148],"languages,":[14],"by":[15,228],"deriving":[16],"small-step":[17,65,92,231],"(AAMs)":[21],"that":[22,29,52,144,191],"perform":[23,30,53],"interpretation":[25,55],"from":[26,107],"concrete":[31,109],"evaluation.":[32],"Darais":[33],"et":[34],"al.":[35],"apply":[36],"the":[37,62,108,112,121,125,140,181,192,207],"same":[38],"underlying":[39],"idea":[40],"to":[41,89,172],"monadic":[42,47],"definitional":[43,49,72,99,199],"interpreters,":[44],"and":[45,69,86,120,187,210],"obtain":[46],"interpreters":[50,73,200],"(ADIs)":[51],"in":[56,158,197,222],"big-step":[57,70,97],"style":[58,160,174],"using":[59],"monads.":[60],"Yet,":[61],"relation":[63],"between":[64,184],"not":[75],"well":[76],"studied.":[77],"In":[78],"this":[79],"paper,":[80],"we":[81,189,216],"explain":[82],"their":[83],"functional":[84],"correspondence":[85,183],"demonstrate":[87,190],"how":[88,218],"systematically":[90],"transform":[91],"into":[96,147],"interpreters.":[100],"Building":[101],"on":[102,180],"known":[103,182],"semantic":[104],"interderivation":[105],"techniques":[106],"evaluation":[110],"setting,":[111],"transformations":[113,204],"include":[114],"linearization,":[115],"lightweight":[116],"fusion,":[117],"disentanglement,":[118],"refunctionalization,":[119],"left":[122],"inverse":[123],"of":[124,165,195,212],"CPS":[126],"transform.":[127],"Linearization":[128],"expresses":[129],"nondeterministic":[130],"choice":[131],"through":[132],"first-order":[133,141],"data":[134,142],"types,":[135],"after":[136],"which":[137,167],"refunctionalization":[138],"transforms":[139],"types":[143],"represent":[145],"continuations":[146],"functions.":[149],"The":[150],"refunctionalized":[151],"AAM":[152],"an":[154],"interpreter":[156],"written":[157],"continuation-passing":[159],"(CPS)":[161],"with":[162,175,235],"two":[163],"layers":[164],"continuations,":[166],"can":[168,225],"be":[169,226],"converted":[170],"back":[171],"direct":[173],"delimited":[176,185],"control":[177,186],"operators.":[178],"Based":[179],"monads,":[188],"explicit":[193],"use":[194],"monads":[196],"optional.":[202],"All":[203],"properly":[205],"handle":[206],"collecting":[208],"semantics":[209],"nondeterminism":[211],"interpretation.":[214],"Remarkably,":[215],"reveal":[217],"precise":[219],"call/return":[220],"matching":[221],"control-flow":[223],"analysis":[224],"obtained":[227],"refunctionalizing":[229],"machine":[234],"proper":[236],"caching.":[237]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}