関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 高橋 直久

  NTT電気通信研究所

• 小野 諭

  NTT電気通信研究所

関連論文

• 戦略的なグラフ変換演算を用いた関数型プログラムのデバッグ法
• 並列処理環境における関数型プログラムのデバッグ方式
• プログラムの抽象動作表現を用いた連想検索法
• 関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)

スポンサーリンク