Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned
复制标题
高阶控制流分析回顾：吸取的教训，放弃的教训
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
O. Shivers
中科院分区：
文献类型：
--
作者：
O. Shivers
传统的流分析技术，如优化Fortran编译器通常采用的技术，不适用于Scheme类语言。本文提出了一种适用于类Scheme语言的流分析技术--控制流分析。作为一个演示应用程序，控制流分析收集的信息被用来执行传统的流分析问题，感应变量消除。扩展和限制进行了讨论。本文提出的技术是由工作代码备份。它们不仅适用于Scheme，也适用于相关语言，如Common Lisp和ML。
Traditional flow analysis techniques, such as the ones typically employed by optimising Fortran compilers, do not work for Scheme-like languages. This paper presents a flow analysis technique --- control flow analysis --- which is applicable to Scheme-like languages. As a demonstration application, the information gathered by control flow analysis is used to perform a traditional flow analysis problem, induction variable elimination. Extensions and limitations are discussed.The techniques presented in this paper are backed up by working code. They are applicable not only to Scheme, but also to related languages, such as Common Lisp and ML.