{"id":"https://openalex.org/W2037781281","doi":"https://doi.org/10.1017/s0956796803004702","title":"CPS transformation of flow information, Part II: administrative reductions","display_name":"CPS transformation of flow information, Part II: administrative reductions","publication_year":2003,"publication_date":"2003-08-27","ids":{"openalex":"https://openalex.org/W2037781281","doi":"https://doi.org/10.1017/s0956796803004702","mag":"2037781281"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796803004702","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796803004702","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3DA1271C07DBA366BE4D997C96138FC2/S0956796803004702a.pdf/div-class-title-cps-transformation-of-flow-information-part-ii-administrative-reductions-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/3DA1271C07DBA366BE4D997C96138FC2/S0956796803004702a.pdf/div-class-title-cps-transformation-of-flow-information-part-ii-administrative-reductions-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015995754","display_name":"Daniel Damian","orcid":"https://orcid.org/0009-0001-2805-8680"},"institutions":[{"id":"https://openalex.org/I4210165227","display_name":"Newmarket Equine Hospital","ror":"https://ror.org/05jtnfm89","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I4210165227"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"DANIEL DAMIAN","raw_affiliation_strings":["LION Bioscience Ltd., Compass House, 80\u201382 Newmarket Road, Cambridge CB5 8DZ, UK (e-mail:","LION Bioscience Ltd., Compass House, 80\u201382 Newmarket Road, Cambridge CB5 8DZ, UK (e-mail: Daniel.Damian@uk.lionbioscience.com)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LION Bioscience Ltd., Compass House, 80\u201382 Newmarket Road, Cambridge CB5 8DZ, UK (e-mail:","institution_ids":["https://openalex.org/I4210165227"]},{"raw_affiliation_string":"LION Bioscience Ltd., Compass House, 80\u201382 Newmarket Road, Cambridge CB5 8DZ, UK (e-mail: Daniel.Damian@uk.lionbioscience.com)#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016621051","display_name":"Olivier Danvy","orcid":"https://orcid.org/0000-0002-3890-3630"},"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":false,"raw_author_name":"OLIVIER DANVY","raw_affiliation_strings":["Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark (e-mail:","Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark (e-mail: [email\u00a0protected])#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark (e-mail:","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark (e-mail: [email\u00a0protected])#TAB#","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5015995754"],"corresponding_institution_ids":["https://openalex.org/I4210165227"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.16257448,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"13","issue":"5","first_page":"925","last_page":"933"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9735000133514404,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9707000255584717,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8669906854629517},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.6283026933670044},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6077816486358643},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.4813014566898346},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.32477205991744995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8669906854629517},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.6283026933670044},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6077816486358643},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4813014566898346},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.32477205991744995},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0956796803004702","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796803004702","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3DA1271C07DBA366BE4D997C96138FC2/S0956796803004702a.pdf/div-class-title-cps-transformation-of-flow-information-part-ii-administrative-reductions-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:pure.atira.dk:publications/1f9f4c10-9819-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/1f9f4c10-9819-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Damian, D & Danvy, O 2002, 'CPS Transformation of Flow Information, Part II : Administrative Reductions', BRICS Report Series, no. RS-02-36.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/342bf49d-6f0d-4556-bba2-0351616a40a4","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/342bf49d-6f0d-4556-bba2-0351616a40a4","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Damian, D & Danvy, O 2001, 'CPS Transformation of Flow Information, Part II: Administrative Reductions', BRICS Report Series, no. RS-01-40.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/aacb75d0-9818-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/aacb75d0-9818-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Damian, D & Danvy, O 2003, 'CPS Transformation of Flow Information, Part II : Administrative Reductions', Journal of Functional Programming, vol. 13, no. 5, pp. 925-933. https://doi.org/10.1017/S0956796803004702","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1017/s0956796803004702","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796803004702","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3DA1271C07DBA366BE4D997C96138FC2/S0956796803004702a.pdf/div-class-title-cps-transformation-of-flow-information-part-ii-administrative-reductions-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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320943","display_name":"Danmarks Grundforskningsfond","ror":"https://ror.org/00znyv691"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2037781281.pdf","grobid_xml":"https://content.openalex.org/works/W2037781281.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W267417","https://openalex.org/W1553894716","https://openalex.org/W1580625730","https://openalex.org/W1969661839","https://openalex.org/W1999336811","https://openalex.org/W2002529995","https://openalex.org/W2046910245","https://openalex.org/W2088735483","https://openalex.org/W2112391755","https://openalex.org/W2112914024","https://openalex.org/W2126126443","https://openalex.org/W2133828278","https://openalex.org/W2137116731","https://openalex.org/W2151994258","https://openalex.org/W2156268797","https://openalex.org/W2584254231"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W2388615687"],"abstract_inverted_index":{"We":[0,82],"characterize":[1],"the":[2,10,23,49,64,74,78,88,118,128,132,139,143,147],"impact":[3],"of":[4,12,26,32,52,66,80,92,109,131,135,142,146,150],"a":[5,13,27,33,45,53,67,96,136],"linear":[6,18,28,126],"$\\beta$":[7,19,24],"-reduction":[8,25],"on":[9],"result":[11,65],"control-flow":[14,69,163],"analysis.":[15],"(By":[16],"\u2018a":[17],"-reduction\u2019":[20],"we":[21,47,157],"mean":[22],"$\\lambda$":[29,34],"-abstraction,":[30],"i.e.,":[31],"-abstraction":[35],"whose":[36],"parameter":[37],"occurs":[38],"exactly":[39],"once":[40],"in":[41,72,77,102,125,165],"its":[42],"body.)":[43],"As":[44],"corollary,":[46],"consider":[48],"administrative":[50,85,154],"reductions":[51,86],"Plotkin-style":[54],"transformation":[55],"into":[56,138],"Continuation-Passing":[57],"Style":[58],"(CPS),":[59],"and":[60,104,114,117],"how":[61,122,159],"they":[62],"affect":[63],"constraint-based":[68],"analysis":[70],"and,":[71],"particular,":[73],"least":[75,89,93,129,140],"element":[76],"space":[79],"solutions.":[81],"show":[83,121,158],"that":[84,98],"preserve":[87],"solution.":[90],"Preservation":[91],"solutions":[94],"solves":[95],"problem":[97],"was":[99],"left":[100],"open":[101],"Palsberg":[103,113],"Wand's":[105,115],"article":[106,116,120],"\u2018CPS":[107],"Transformation":[108],"Flow":[110],"Information.\u2019":[111],"Together,":[112],"present":[119],"to":[123,160],"map":[124],"time":[127],"solution":[130,141],"flow":[133,144],"constraints":[134,145],"program":[137],"CPS":[148,161],"counterpart":[149],"this":[151],"program,":[152],"after":[153],"reductions.":[155],"Furthermore,":[156],"transform":[162],"information":[164],"one":[166],"pass.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-23T06:14:38.165362","created_date":"2025-10-10T00:00:00"}