CPS-Transformation OLIVIER DANVY and JOHN Kansas State University After Strictness Analysis HATCLIFF Strictness analysis is a common component of compilers for call-by-name functional languages; the continuation-passing-style (CPS-) transformation is a common component of compilers for call-by-value functional languages. To bridge these two implementation techniques, we present a hybrid CPS-transformation &, for a language with annotations resulting from strictness analysis. %8 is derived by symbolically composing two transformations Y and &v; that is def $3, =s .9. Y transforms a call-by-name program with strictness annotations into a call-by-value program extended with explicit suspension constructs (i.e., delay and force). %v is the traditional call-by-value CPS-transformation extended with transformations for the suspension constructs delay and force. %, generalizes both the call-by-name and the call-by-value CPS-transformations, in that restricting it to nonstrict constructs gives the call-by-name CPS-transformation and restricting it to strict constructs gives the call-by-value CPS-transformation. %, enables a new strategy for compiling call-by-name programs combining the traditional advantages of CPS (tail-recursive code, evaluation-order independence) and the usual benefits of strictness analysis (elimination of unnecessary suspensions). We also address and solve the problem of recursive binding. Finally, we express %, in Nielson and Nielson s two-level A-calculus, enabling a simple
End of preview. The entire article is 18 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/cps-transformation-after-strictness-analysis-X6Z8rDmkhY
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
CPS-transformation after strictness analysis
Danvy, Olivier; Hatcliff, John
Follow ACM Letters on Programming Languages and Systems (LOPLAS)
, Volume 1 (3)
Association for Computing Machinery – Sep 1, 1992
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
