第7回ロジックプログラミング国際会議に出席して

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1991-01-14

著者

• 堀内 謙二

  (財)新世代コンピュータ技術開発機構

関連論文

• 論理プログラムの抽象解釈を用いた解析
• Flat GHCプログラムの抽象解釈
• 第7回ロジックプログラミング国際会議に出席して

スポンサーリンク