{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:55:25Z","timestamp":1776891325599,"version":"3.51.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"5","license":[{"start":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T00:00:00Z","timestamp":1061942400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2003,9]]},"abstract":"<jats:p>\n                    We characterize the impact of a linear\n                    <jats:inline-formula>$\\beta$<\/jats:inline-formula>\n                    -reduction on the result of a control-flow analysis. (By \u2018a linear\n                    <jats:inline-formula>$\\beta$<\/jats:inline-formula>\n                    -reduction\u2019 we mean the\n                    <jats:inline-formula>$\\beta$<\/jats:inline-formula>\n                    -reduction of a linear\n                    <jats:inline-formula>$\\lambda$<\/jats:inline-formula>\n                    -abstraction, i.e., of a\n                    <jats:inline-formula>$\\lambda$<\/jats:inline-formula>\n                    -abstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkin-style transformation into Continuation-Passing Style (CPS), and how they affect the result of a constraint-based control-flow analysis and, in particular, the least element in the space of solutions. We show that administrative reductions preserve the least solution. Preservation of least solutions solves a problem that was left open in Palsberg and Wand's article \u2018CPS Transformation of Flow Information.\u2019 Together, Palsberg and Wand's article and the present article show how to map in linear time the least solution of the flow constraints of a program into the least solution of the flow constraints of the CPS counterpart of this program, after administrative reductions. Furthermore, we show how to CPS transform control-flow information in one pass.\n                  <\/jats:p>","DOI":"10.1017\/s0956796803004702","type":"journal-article","created":{"date-parts":[[2003,9,2]],"date-time":"2003-09-02T06:37:08Z","timestamp":1062484628000},"page":"925-933","source":"Crossref","is-referenced-by-count":2,"title":["CPS transformation of flow information, Part II: administrative reductions"],"prefix":"10.46298","volume":"13","author":[{"given":"DANIEL","family":"DAMIAN","sequence":"first","affiliation":[]},{"given":"OLIVIER","family":"DANVY","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2003,8,27]]},"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796803004702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:18:50Z","timestamp":1776889130000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796803004702\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8,27]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S0956796803004702"],"URL":"https:\/\/doi.org\/10.1017\/s0956796803004702","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8,27]]}}}