プログラム分析を開始するためのリソースを探しています。
このトピックについて私が見つけた唯一の本は Nielson & Nielson の本です。
それ以外では、「プログラム解析」が章またはそれに沿ったものになる「コンパイラ」の本しかないようです。
人々は他のリソースを知っていますか? ありがとう!
プログラム分析を開始するためのリソースを探しています。
このトピックについて私が見つけた唯一の本は Nielson & Nielson の本です。
それ以外では、「プログラム解析」が章またはそれに沿ったものになる「コンパイラ」の本しかないようです。
人々は他のリソースを知っていますか? ありがとう!
「静的解析による安全なプログラミング」が役に立つかもしれません。
あなたにも役立つ講義シリーズがあります http://santos.cis.ksu.edu/schmidt/Escuela03/home.html