Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... appearances, CPS code constitutes an (imperative) abstract assembly language whose standard reduction sequence mimics the behavior of typical target machines [3, 4, 41, 55, 104] ffl Data flow analyzers, partial evaluators, and other tools perform better on CPS programs than on source programs [22, 33, 34, 72]. ffl The CPS transformation is a global transformation that affects every subexpression in a program. It re structures programs to the extent that many of their original aspects are unrecognizable. The transformation might even obscure the analysis of optimizations that rely on execution paths ....

....We gratefully thank Cormac Flanagan for implementing this experiment. 119 Chapter 6 Correspondence of Data Flow Analyzers The final component of compilers that we will study is data flow analysis. The literature generally supports the idea that CPS improves the precision of data flow analysis [10, 15, 33, 34, 58, 92]. Although much of the evidence is informal, investigations by Nielson [72] and Burn Filho [33, 34] support, to some degree, the idea with formal results. However, their results do not pinpoint the source of increased abstract information and do not explain the observation of many people that ....

[Article contains additional citation context not shown here]

Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.

....The widespread use of the continuation passing style (CPS) transformation in compilers, optimizers, abstract interpreters, and partial evaluators reflects a common belief that the transformation has a positive effect on the analysis of programs. Investigations by Nielson [14] and Burn Filho [5, 6] support, to some degree, this belief with theoretical results. However, these investigations do not pinpoint the source of increased abstract information and do not explain the observation of many people that continuation passing confuses some conventional data flow analyses. To understand the ....

....11, 12, 17] Compiler writers believe that the intermediate representation based on CPS eases the production of code and facilitates optimizations. Numerous people also argue that the CPS transformation increases the precision of the data flow analysis that is necessary for advanced optimizations [2, 3, 5, 6, 16]. 2 Even though CPS programs are widely accepted as an advantageous intermediate representation, few compiler writers can pinpoint what distinguishes the CPS representation from other intermediate representations or precisely why it is better. In an attempt to understand the principles of ....

Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.

.... appearances, CPS code constitutes an (imperative) abstract assembly language whose standard reduction sequence mimics the behavior of typical target machines [3, 4, 41, 55, 104] ffl Data flow analyzers, partial evaluators, and other tools perform better on CPS programs than on source programs [22, 33, 34, 72]. ffl The CPS transformation is a global transformation that affects every subexpression in a program. It re structures programs to the extent that many of their original aspects are unrecognizable. The transformation might even obscure the analysis of optimizations that rely on execution paths ....

....We gratefully thank Cormac Flanagan for implementing this experiment. 119 Chapter 6 Correspondence of Data Flow Analyzers The final component of compilers that we will study is data flow analysis. The literature generally supports the idea that CPS improves the precision of data flow analysis [10, 15, 33, 34, 58, 92]. Although much of the evidence is informal, investigations by Nielson [72] and Burn Filho [33, 34] support, to some degree, the idea with formal results. 16 However, their results do not pinpoint the source of increased abstract information and do not explain the observation of many people that ....

[Article contains additional citation context not shown here]

Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.

....The widespread use of the continuation passing style (CPS) transformation in compilers, optimizers, abstract interpreters, and partial evaluators reflects a common belief that the transformation has a positive effect on the analysis of programs. Investigations by Nielson [13] and Burn Filho [5, 6] support, to some degree, this belief with theoretical results. However, they do not pinpoint the source of increased abstract information and do not explain the observation of many people that continuation passing confuses some conventional data flow analyses. To study the impact of the CPS ....

....10, 11, 17] Compiler writers believe that the intermediate representation based on CPS eases the production of code and facilitates optimizations. Numerous people also argue that the CPS transformation increases the precision of the data flow analysis that is necessary for advanced optimizations [2, 3, 5, 6, 16]. 1 Even though CPS programs are widely accepted as an advantageous intermediate representation, few compiler writers can pinpoint the advantages of the CPS representation over other intermediate representations. In an attempt to understand the principles of compiling with continuations and to ....

Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.

....11, 12, 17] Compiler writers believe that the intermediate representation based on CPS eases the production of code and facilitates optimizations. Numerous people also argue that the CPS transformation increases the precision of the data flow analysis that is necessary for advanced optimizations [2, 3, 5, 6, 16]. 2 Even though CPS programs are widely accepted as an advantageous intermediate representation, few compiler writers can pinpoint what distinguishes CPS from other intermediate representations or precisely why it is better. In an attempt to understand the principles of compiling with ....

Filho, J. Muylaert. Improving abstract interpretations with CPS-translation. (1993). Unpublished Manuscript.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC