{"id":"https://openalex.org/W2123633662","doi":"https://doi.org/10.1007/3-540-45931-6_8","title":"A First-Order One-Pass CPS Transformation","display_name":"A First-Order One-Pass CPS Transformation","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2123633662","doi":"https://doi.org/10.1007/3-540-45931-6_8","mag":"2123633662"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45931-6_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-45931-6_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-45931-6_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/3-540-45931-6_8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Olivier Danvy","raw_affiliation_strings":["BRICS Department of Computer Science, University of Aarhus Ny Munkegade, Building 540, DK-8000, Aarhus C, Denmark"],"affiliations":[{"raw_affiliation_string":"BRICS Department of Computer Science, University of Aarhus Ny Munkegade, Building 540, DK-8000, Aarhus C, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015508273","display_name":"Lasse R. Nielsen","orcid":null},"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":"Lasse R. Nielsen","raw_affiliation_strings":["BRICS Department of Computer Science, University of Aarhus Ny Munkegade, Building 540, DK-8000, Aarhus C, Denmark"],"affiliations":[{"raw_affiliation_string":"BRICS Department of Computer Science, University of Aarhus Ny Munkegade, Building 540, DK-8000, Aarhus C, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016621051"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1338,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79557933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"98","last_page":"113"},"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.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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9927999973297119,"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/transformation","display_name":"Transformation (genetics)","score":0.8294193744659424},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7875993847846985},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6336573362350464},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5677002668380737},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.5245578289031982},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48181596398353577},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3996617794036865},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3523658812046051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3478531241416931},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3294271230697632},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2932617664337158},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16292697191238403}],"concepts":[{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.8294193744659424},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7875993847846985},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6336573362350464},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5677002668380737},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.5245578289031982},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48181596398353577},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3996617794036865},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3523658812046051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3478531241416931},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3294271230697632},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2932617664337158},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16292697191238403},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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":2,"locations":[{"id":"doi:10.1007/3-540-45931-6_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-45931-6_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-45931-6_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/d09c8b80-3523-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/d09c8b80-3523-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Danvy, O & Nielsen, L R 2002, A First-Order One-Pass CPS Transformation. in M Nielsen & U Engberg (eds), Foundations of Software Science and Computer Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8\u201312, 2002 Proceedings. Springer, Lecture Notes in Computer Science, vol. 2303, pp. 367-393, ETAPS'02, Grenoble, France, 10/04/2002. https://doi.org/10.1007/3-540-45931-6_8","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/3-540-45931-6_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-45931-6_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-45931-6_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2123633662.pdf","grobid_xml":"https://content.openalex.org/works/W2123633662.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W267417","https://openalex.org/W49220416","https://openalex.org/W90561052","https://openalex.org/W1483882081","https://openalex.org/W1488265857","https://openalex.org/W1488494464","https://openalex.org/W1493166920","https://openalex.org/W1511668635","https://openalex.org/W1531439671","https://openalex.org/W1580664042","https://openalex.org/W1583092647","https://openalex.org/W1584475357","https://openalex.org/W1756930956","https://openalex.org/W1761411969","https://openalex.org/W1769931508","https://openalex.org/W1830768704","https://openalex.org/W1920788104","https://openalex.org/W1969661839","https://openalex.org/W1975575519","https://openalex.org/W1997143185","https://openalex.org/W1999336811","https://openalex.org/W2002529995","https://openalex.org/W2028257892","https://openalex.org/W2069107692","https://openalex.org/W2087359745","https://openalex.org/W2088735483","https://openalex.org/W2112914024","https://openalex.org/W2124056143","https://openalex.org/W2126126443","https://openalex.org/W2127114597","https://openalex.org/W2133979298","https://openalex.org/W2135287414","https://openalex.org/W2137116731","https://openalex.org/W2139626883","https://openalex.org/W2151994258","https://openalex.org/W2154273644","https://openalex.org/W2156268797","https://openalex.org/W2217436885","https://openalex.org/W2248974122","https://openalex.org/W2363241673","https://openalex.org/W2405104030","https://openalex.org/W2505610320","https://openalex.org/W2792468393","https://openalex.org/W2912126004","https://openalex.org/W4234924236","https://openalex.org/W4242388544","https://openalex.org/W6634775351","https://openalex.org/W6658150473","https://openalex.org/W6672434346"],"related_works":["https://openalex.org/W2116536633","https://openalex.org/W2136052444","https://openalex.org/W4301176064","https://openalex.org/W2950028700","https://openalex.org/W1019628555","https://openalex.org/W335169515","https://openalex.org/W1997440650","https://openalex.org/W2113181166","https://openalex.org/W3214376140","https://openalex.org/W4295127475"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}