命令式程序的等值关系分析

摘要:不敏感等式关系的流敏感分析——副作用程序等式关系的流敏感分析

作者:P. Emelyanov

论文ID:cs/0609092

分类:Programming Languages

分类简称:cs.PL

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中