El-Zawawy,Mohamed A。 基于堆抽象的逻辑相关区域的识别。 (英语) Zbl 1258.68181号 J.埃及。数学。Soc公司。 20,第2期,64-71(2012).MSC公司:68周05 68兰特 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.El-Zawawy},J.埃及。数学。Soc.20,No.2,64--71(2012;Zbl 1258.68181) 全文: 内政部 arXiv公司
El-Zawawy,Mohamed A。 多线程程序基于死代码消除的指针分析。 (英语) 兹比尔1259.68024 J.埃及。数学。Soc公司。 20,第1期,28-37(2012).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.A.El-Zawawy},J.埃及。数学。Soc.20,No.1,28-37(2012;Zbl 1259.68024) 全文: 内政部 arXiv公司