Automatic construction of sparse data flow evaluation graphs

Automatic construction of sparse data flow evaluation graphs
复制标题

自动构建稀疏数据流评估图

DOI：
--
复制
发表时间：
1991
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
通讯作者：
J. Ferrante
J. Ferrante
中科院分区：
--
文献类型：
--
作者：
Jong;R. Cytron;J. Ferrante

文献摘要

被引文献

相似文献

在本文中，我们提出了一个算法，构造稀疏的评价图的前向或后向单调数据流问题。稀疏图尽可能早地组合信息，但直接连接生成和使用信息的节点。这使得问题的大型，一般类的单调数据流问题，错误的喜悦的优势，解决方案的基础上静态单分配（SSA）的形式。
In this paper, we present an algorithm that constructs sparse evaluation graphs for forward or backward monotone data flow problems. The sparse graph combines information as early as possible, yet directly connects nodes that generate and use information. This allows problems from the large, general class of monotone data flow problems to err joy the advantages of solutions based on Static Single Assignment (SSA) form.