GHC (Guarded Horn Clauses)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1988-01-20
著者
関連論文
- プログラミング言語の新潮流
- 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
- GHCのメッセージ指向の並列処理 : 初期評価
- GHCのメッセージ指向の並列処理 : 概要
- GHCのメッセージ指向の処理方式
- GHCプログラムのモード解析
- GHCプログラムの最適化
- 汎用計算機上のGHC処理系
- 並列論理型言語上の制約充足方式の比較
- GHC (Guarded Horn Clauses)
- 第4回ロジックプログラミング国際会議に出席して
- 2. 言語 2.1 並列プログラミング言語 (並列処理技術)