スポンサーリンク

早稲田大学大学院情報理工学専攻 | 論文

• 並行論理プログラムの参照数解析
• 静的解析と制約充足によるプログラム自動デバッグ
• 基数制約に対応するクラスタ向け並列SATソルバとその評価(高信頼設計,2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ(SWoPP鹿児島2011))
• 理論と実際のギャップ : 並列プログラミング (<特別論説> 情報処理最前線)
• Moded Flat GHCのモード体系

• < 前のページ

スポンサーリンク