×
霍利·L·霍华德；巴里·罗森。

合格的数据流问题。 （英语） Zbl 0447.68009号

IEEE传输。软件工程。 7, 60-78 (1981).
页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面
扫描Zbl 0447.68009

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

数据流分析；全局变量；程序间分析；标签变量；符号执行
PDF格式BibTeX公司 XML格式引用
\textit{L.H.Holley}和\textit{B.K.Rosen}，IEEE Trans。柔和。工程7，60--78（1981；Zbl 0447.68009）
全文： 内政部