×
崔元泰;巴里斯·阿克特穆尔;Yi，Kwangkeun先生;Makoto Tatsuta

通过非静态翻译对多阶段程序进行静态分析。 （英语） Zbl 1284.68170号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。81-92 (2011).

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

抽象解释;多阶段语言;投影;语义保持;静态分析;非平稳翻译

软件：

旋风;VCODE（视频编码）
PDF格式BibTeX公司 XML格式引用
\textit{W.Choi}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机机械协会（ACM）。81-92（2011年；Zbl 1284.68170）
全文： 内政部