标签： algorithm compiler-construction programming-languages computer-science semantics
我正在寻找有关程序分析入门的资源。
我在这个主题上发现的唯一一本书是Nielson＆amp;尼尔森的书。
除此之外，似乎只有“编译”书籍，其中“程序分析”将成为章节，或类似的东西。
人们知道其他任何资源吗？谢谢！
答案 0 :(得分：1)
“使用静态分析进行安全编程”可能很有用。
你可能会发现一个有用的讲座系列 http://santos.cis.ksu.edu/schmidt/Escuela03/home.html