论文部分内容阅读
过程的处理关行化编译工具的是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法，近年来，兼有前二者优点的新技术，过程繁衍（Ｃｌｏｎｉｎｇ）逐渐受到人们的重视，而以入的研究中，过程繁衍及仅局限常数值的传播，本文提出了在过程繁衍中进行符号等式约束信息传播的方法，该方法以可以增强系统中全局的符号分析（ＳｙｍｂｏｌｉｃＡｎａｌｙｓｉｓ）能力，并可与一些新技术（如Ｏｍｅｇａ测试）互相配合，从而提高并行