Art
J-GLOBAL ID：200902033627168222   Reference number：94A0847324

Semantic foundations of concurrent constraint programming.

並行制約プログラミングの意味論的基礎
Author (3)：
SARASWAT V A

About SARASWAT V A

(Xerox PARC)

About Xerox PARC

, 
RINARD M

About RINARD M

(Stanford Univ.)

About Stanford Univ.

, 
PANANGADEN P

About PANANGADEN P

(McGill Univ.)

About McGill Univ.


Material：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the ACM Symposium on Principles of Programming Languages (Association for Computing Machinery))

About Conference Record of the Annual ACM Symposium on Principles of Programming Languages


Volume： 18th  Page： 333-352  Publication year： 1991 
JST Material Number： D0069B  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
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.
並行制約プログラミング

About 並行制約プログラミング


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

About Theory of computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
並行

About 並行

, 
制約プログラミング

About 制約プログラミング

, 
意味論

About 意味論

, 
基礎

About 基礎


Return to Previous Page

TOP

BOTTOM