文献
J-GLOBAL ID：200902118476534545   整理番号：99A0160352

領域推論アルゴリズム

A Region Inference Algorithm.
著者 (2件)：
TOFTE M

TOFTE M について

(Univ. Copenhagen)

Univ. Copenhagen について

, 
BIRKEDAL L

BIRKEDAL L について

(Carnegie Mellon Univ.)

Carnegie Mellon Univ. について


資料名：
ACM Transactions on Programming Languages and Systems  (ACM Transactions on Programming Languages and Systems)

ACM Transactions on Programming Languages and Systems について


巻： 20  号： 4  ページ： 724-767  発行年： 1998年07月 
JST資料番号： C0139B  ISSN： 0164-0925  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
領域推論は,値の寿命を推論するプログラム解析である。これは記...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*プログラム解析

プログラム解析 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0160352&from=J-GLOBAL&jstjournalNo=C0139B") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  言語プロセッサ 
(JD03040F)

言語プロセッサ について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
推論

推論 について

, 
アルゴリズム

アルゴリズム について


前のページに戻る

TOP

BOTTOM