计算技术与自动化2007，Vol.26Issue(2)：53-56,4.
过程间并发程序分析不可判定的一个新证明方法
A New Proof of the Undecidability of Context-sensitive Synchronization-sensitive Analysis
摘要
关键词
过程间并发程序分析/上下文敏感/同步敏感/不可判定问题分类
信息技术与安全科学引用本文复制引用
缪力,张大方..过程间并发程序分析不可判定的一个新证明方法[J].计算技术与自动化,2007,26(2):53-56,4.基金项目
国家自然科学基金资助项目(60473031,60673155) （60473031,60673155）
