论文部分内容阅读
论述了编译系统中数据流分析的理论基础，在此基础上系统阐述了基于格理论的通用分析框架，为常见数据流问题提供了统一的解决方案。针对“到达定值”数据流问题，给出其基于格的分析框架，并以探测变量未定值先使用为例，给出了解决该数据流问题的算法。这种方法在试图解决不同的数据流问题时，利用一个分析框架只需给出相应的数据流问题定义所具有的特性即可，也有助于在软件设计中确定求解算法的可复用组件。