%0 Journal Article %T 过程繁衍及其实现方法 %A 丁永华? %A 陈彤? %A 臧斌宇? %A 朱传琪? %J 软件学报 %P 662-668 %D 1996 %X 过程的处理在并行化编译工具中是十分关键的问题,过程嵌入和跨过程信息传播是常用的解决方法.近年来,兼有前二者优点的新技术:过程繁衍(cloning),逐渐受到人们的重视.而以往的研究中,过程繁衍仅局限于常数值的传播.本文提出了在过程繁衍中进行符号等式约束信息传播的方法,该方法可以增强系统中全局的符号分析(symbolicanalysis)能力,并可与一些新技术(如omega测试)互相配合,从而提高并行化系统的能力.该方法在作者开发的并行化编译工具aft中得到了实现.对于perfectbenchmark的测试 %K 过程繁衍 %K 数据相关性分析 %K 过程间分析 %K 信息传播 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19961104&flag=1