「KL1プログラム静的解析系」に関する成果概要 Static Analyzer for KL1 Programs

上田 和紀
(早稲田大学理工学部情報学科)
網代 育大
(早稲田大学大学院理工学研究科情報科学専攻)

1999年1月31日

• 研究の背景と目的
• klint第2版の概要
• klint第2.1版
• kima第2版
• その他の研究成果
• 自己評価と残された課題
• 参考文献