{"id":"https://openalex.org/W2046656770","doi":"https://doi.org/10.1145/2187671.2187672","title":"Control-flow analysis of functional programs","display_name":"Control-flow analysis of functional programs","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2046656770","doi":"https://doi.org/10.1145/2187671.2187672","mag":"2046656770"},"language":"en","primary_location":{"id":"doi:10.1145/2187671.2187672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2187671.2187672","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-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/A5065278196","display_name":"Jan Midtgaard","orcid":"https://orcid.org/0000-0002-6506-5468"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jan Midtgaard","raw_affiliation_strings":["Aarhus University, Denmark","AARHUS UNIVERSITY, DENMARK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"AARHUS UNIVERSITY, DENMARK","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5065278196"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":11.0278,"has_fulltext":false,"cited_by_count":82,"citation_normalized_percentile":{"value":0.98189519,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"44","issue":"3","first_page":"1","last_page":"33"},"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.9976999759674072,"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.9976999759674072,"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/T10142","display_name":"Formal Methods in Verification","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9595000147819519,"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.8259745836257935},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.6961685419082642},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.624563455581665},{"id":"https://openalex.org/keywords/control-flow-analysis","display_name":"Control flow analysis","score":0.6046968698501587},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.5159862041473389},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5052240490913391},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4428030848503113},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43963623046875},{"id":"https://openalex.org/keywords/flow-control","display_name":"Flow control (data)","score":0.4113558530807495},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2545366883277893},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23781150579452515},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14122611284255981},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.07869464159011841},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.07499855756759644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8259745836257935},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.6961685419082642},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.624563455581665},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.6046968698501587},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.5159862041473389},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5052240490913391},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4428030848503113},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43963623046875},{"id":"https://openalex.org/C186766456","wikidata":"https://www.wikidata.org/wiki/Q612457","display_name":"Flow control (data)","level":2,"score":0.4113558530807495},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2545366883277893},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23781150579452515},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14122611284255981},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.07869464159011841},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.07499855756759644},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2187671.2187672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2187671.2187672","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.164.5413","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.5413","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.brics.dk//RS/07/18/BRICS-RS-07-18.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/151706c0-f0bd-11df-a891-000ea68e967b","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/151706c0-f0bd-11df-a891-000ea68e967b","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Midtgaard, J 2012, 'Control-flow analysis of functional programs', A C M Computing Surveys, vol. 44, no. 3, pp. 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":201,"referenced_works":["https://openalex.org/W2852225","https://openalex.org/W10127936","https://openalex.org/W87876516","https://openalex.org/W100466825","https://openalex.org/W109388613","https://openalex.org/W148396834","https://openalex.org/W203991758","https://openalex.org/W1484245999","https://openalex.org/W1486310769","https://openalex.org/W1495087637","https://openalex.org/W1498815108","https://openalex.org/W1504459879","https://openalex.org/W1507046749","https://openalex.org/W1512023806","https://openalex.org/W1516382534","https://openalex.org/W1517960827","https://openalex.org/W1518083528","https://openalex.org/W1518169998","https://openalex.org/W1521434182","https://openalex.org/W1529673590","https://openalex.org/W1532788031","https://openalex.org/W1541994051","https://openalex.org/W1546990306","https://openalex.org/W1547302757","https://openalex.org/W1551918097","https://openalex.org/W1553391613","https://openalex.org/W1553894716","https://openalex.org/W1557561422","https://openalex.org/W1559106267","https://openalex.org/W1564221381","https://openalex.org/W1568478782","https://openalex.org/W1572006999","https://openalex.org/W1576896531","https://openalex.org/W1578657094","https://openalex.org/W1579289649","https://openalex.org/W1580625730","https://openalex.org/W1580664042","https://openalex.org/W1581551064","https://openalex.org/W1583857822","https://openalex.org/W1585022015","https://openalex.org/W1585404558","https://openalex.org/W1587730920","https://openalex.org/W1587849775","https://openalex.org/W1589797855","https://openalex.org/W1592238360","https://openalex.org/W1594756768","https://openalex.org/W1596403187","https://openalex.org/W1599189938","https://openalex.org/W1599217540","https://openalex.org/W1599545360","https://openalex.org/W1600244485","https://openalex.org/W1606566200","https://openalex.org/W1611084195","https://openalex.org/W1651122320","https://openalex.org/W1677072297","https://openalex.org/W1706172200","https://openalex.org/W1735049056","https://openalex.org/W1775921724","https://openalex.org/W1805550579","https://openalex.org/W1855771754","https://openalex.org/W1967177206","https://openalex.org/W1967544098","https://openalex.org/W1971473445","https://openalex.org/W1972318755","https://openalex.org/W1973120448","https://openalex.org/W1974895492","https://openalex.org/W1974939942","https://openalex.org/W1976808561","https://openalex.org/W1977541831","https://openalex.org/W1979240050","https://openalex.org/W1981589974","https://openalex.org/W1985450085","https://openalex.org/W1986334602","https://openalex.org/W1986693746","https://openalex.org/W1990051509","https://openalex.org/W1999336811","https://openalex.org/W2001974029","https://openalex.org/W2003410111","https://openalex.org/W2003411722","https://openalex.org/W2003786919","https://openalex.org/W2004419599","https://openalex.org/W2004944457","https://openalex.org/W2004971560","https://openalex.org/W2006990447","https://openalex.org/W2007313703","https://openalex.org/W2009375997","https://openalex.org/W2013172387","https://openalex.org/W2016076634","https://openalex.org/W2019448108","https://openalex.org/W2020530016","https://openalex.org/W2020543669","https://openalex.org/W2021986357","https://openalex.org/W2022443117","https://openalex.org/W2024779397","https://openalex.org/W2025554746","https://openalex.org/W2027065256","https://openalex.org/W2032137108","https://openalex.org/W2034379323","https://openalex.org/W2035401157","https://openalex.org/W2037781281","https://openalex.org/W2040141020","https://openalex.org/W2040152339","https://openalex.org/W2040907375","https://openalex.org/W2041479059","https://openalex.org/W2043100293","https://openalex.org/W2046699259","https://openalex.org/W2047896115","https://openalex.org/W2048802511","https://openalex.org/W2052075892","https://openalex.org/W2052440299","https://openalex.org/W2052804469","https://openalex.org/W2057065238","https://openalex.org/W2057085278","https://openalex.org/W2057375777","https://openalex.org/W2058824372","https://openalex.org/W2059285757","https://openalex.org/W2059860151","https://openalex.org/W2060688393","https://openalex.org/W2062113352","https://openalex.org/W2063337452","https://openalex.org/W2064982280","https://openalex.org/W2065403304","https://openalex.org/W2068226560","https://openalex.org/W2068711880","https://openalex.org/W2074954052","https://openalex.org/W2076696436","https://openalex.org/W2078944436","https://openalex.org/W2079752311","https://openalex.org/W2083878525","https://openalex.org/W2084875723","https://openalex.org/W2088126145","https://openalex.org/W2088735483","https://openalex.org/W2093229225","https://openalex.org/W2095115578","https://openalex.org/W2095357205","https://openalex.org/W2095460218","https://openalex.org/W2096001571","https://openalex.org/W2098491453","https://openalex.org/W2099107163","https://openalex.org/W2100962534","https://openalex.org/W2102389857","https://openalex.org/W2103933902","https://openalex.org/W2104555752","https://openalex.org/W2106553898","https://openalex.org/W2110507526","https://openalex.org/W2112836639","https://openalex.org/W2112914024","https://openalex.org/W2113757735","https://openalex.org/W2118172707","https://openalex.org/W2123727486","https://openalex.org/W2124153277","https://openalex.org/W2126126443","https://openalex.org/W2127114597","https://openalex.org/W2127172188","https://openalex.org/W2127637733","https://openalex.org/W2128224544","https://openalex.org/W2129566109","https://openalex.org/W2131135493","https://openalex.org/W2133654517","https://openalex.org/W2133979298","https://openalex.org/W2135565307","https://openalex.org/W2135667613","https://openalex.org/W2136290535","https://openalex.org/W2137116731","https://openalex.org/W2139626883","https://openalex.org/W2140430779","https://openalex.org/W2141662609","https://openalex.org/W2142174207","https://openalex.org/W2142797138","https://openalex.org/W2144538202","https://openalex.org/W2149237601","https://openalex.org/W2155628381","https://openalex.org/W2159430067","https://openalex.org/W2160782122","https://openalex.org/W2163672025","https://openalex.org/W2166004578","https://openalex.org/W2166060774","https://openalex.org/W2166822586","https://openalex.org/W2167050676","https://openalex.org/W2170466119","https://openalex.org/W2278011425","https://openalex.org/W2330123543","https://openalex.org/W2398151856","https://openalex.org/W2406738411","https://openalex.org/W2495121882","https://openalex.org/W2561675875","https://openalex.org/W2912126004","https://openalex.org/W2912379640","https://openalex.org/W2913428638","https://openalex.org/W2913756572","https://openalex.org/W2914844873","https://openalex.org/W2953089209","https://openalex.org/W3022477855","https://openalex.org/W3118932339","https://openalex.org/W3142621357","https://openalex.org/W3163132554","https://openalex.org/W4233636389","https://openalex.org/W4241057360","https://openalex.org/W4250199140","https://openalex.org/W4285719527","https://openalex.org/W6635825601"],"related_works":["https://openalex.org/W2114464863","https://openalex.org/W1601463087","https://openalex.org/W2380745217","https://openalex.org/W2998775986","https://openalex.org/W2080046362","https://openalex.org/W2166895275","https://openalex.org/W2138385884","https://openalex.org/W2573637329","https://openalex.org/W2505543667","https://openalex.org/W2265345944"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2],"survey":[3,58],"of":[4,7,15,24,28,49,61,68],"control-flow":[5,59],"analysis":[6,60],"functional":[8,29,62],"programs,":[9],"which":[10],"has":[11],"been":[12,32],"the":[13,19,25,46,66],"subject":[14],"extensive":[16],"investigation":[17],"throughout":[18],"past":[20],"30":[21],"years.":[22],"Analyses":[23],"control":[26],"flow":[27],"programs":[30,63],"have":[31,38],"formulated":[33],"in":[34],"multiple":[35],"settings":[36],"and":[37,52,70,72],"led":[39],"to":[40],"many":[41],"different":[42],"approximations,":[43],"starting":[44],"with":[45],"seminal":[47],"works":[48],"Jones,":[50],"Shivers,":[51],"Sestoft.":[53],"In":[54],"this":[55],"article,":[56],"we":[57],"by":[64],"structuring":[65],"multitude":[67],"formulations":[69],"approximations":[71],"comparing":[73],"them.":[74]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}