到达定值相关论文
采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状......
论述了编译系统中数据流分析的理论基础，在此基础上系统阐述了基于格理论的通用分析框架，为常见数据流问题提供了统一的解决方案。针......
