Art
J-GLOBAL ID：200902118476534545   Reference number：99A0160352

A Region Inference Algorithm.

領域推論アルゴリズム
Author (2)：
TOFTE M

About TOFTE M

(Univ. Copenhagen)

About Univ. Copenhagen

, 
BIRKEDAL L

About BIRKEDAL L

(Carnegie Mellon Univ.)

About Carnegie Mellon Univ.


Material：
ACM Transactions on Programming Languages and Systems  (ACM Trans Program Lang Syst)

About ACM Transactions on Programming Languages and Systems


Volume： 20  Issue： 4  Page： 724-767  Publication year： Jul. 1998 
JST Material Number： C0139B  ISSN： 0164-0925  Document type： Article
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.
*program analysis

About program analysis

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

About Theory of computation

,  Language processors 
(JD03040F)

About Language processors

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
推論

About 推論

, 
アルゴリズム

About アルゴリズム


Return to Previous Page

TOP

BOTTOM