Art
J-GLOBAL ID：200902173126227225   Reference number：97A0709513

A Domain for a Semantics of Guarded Horn Clauses for Programs on Distributed Environment.

分散環境に置かれたGHCプログラムの意味論のための意味領域
Author (2)：
KATO TOORU

About KATO TOORU

(岡山大 工)

About 岡山大 工

, 
MURAKAMI MASAKI

About MURAKAMI MASAKI

(岡山大 工)

About 岡山大 工


Material：
情報処理学会論文誌  (IPSJ Journal)

About 情報処理学会論文誌


Volume： 38  Issue： 7  Page： 1352-1360  Publication year： Jul. 1997 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
logic programming

About logic programming

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
GHC language

About GHC language

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0709513&from=J-GLOBAL&jstjournalNo=Z0778A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
分散環境

About 分散環境

, 
意味論

About 意味論

, 
意味

About 意味


Return to Previous Page

TOP

BOTTOM