抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価

DOI Web Site 参考文献5件
  • 吉岡 信和
    北陸先端科学技術大学院大学情報科学研究科
  • 鈴木 正人
    北陸先端科学技術大学院大学情報科学研究科
  • 片山 卓也
    北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名
  • Ability for Description of an Incremental Programming Method Base on Abstract Interpretation (ISDR)
  • チュウショウ カイシャク ニ モトズク ダンカイテキ プログラム コウセイホウ

この論文をさがす

抄録

<p>著者らは抽象解釈に基づく段階的プログラム構成法(ISDR法)を提案している.これまでISDR法を構造をもったデータを扱えるように拡張してきたが,そこで扱っていた例題は説明のため簡略化されていた.本論文では,マイクロフィッシュ問題をJSP法とISDR法で構成し,これらを比較検討する.これによって,ISDR法が実用的な問題領域に十分適用可能であることが示せる.</p>

収録刊行物

参考文献 (5)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ