「コンパイラ・スクリプトエンジン」相談室11

「コンパイラ・スクリ ..

323:デフォルトの名無しさん
07/01/31 00:31:19
>>322
フローグラフ上のデータフロー解析なら
自分で実装するのがたぶん一番楽。

データフロー方程式を解くシステムは昔からあったと思うけど
なんかいまいち流行ってないし。

最近はCTLモデル検査とかで最適化する人もいるらしい。

次ページ