文献
J-GLOBAL ID：200902104332712618   整理番号：01A0627178

Cプログラムの自動的述語抽象

Automatic Predicate Abstraction of C Programs.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=01A0627178&from=J-GLOBAL&jstjournalNo=D0915A") }}
著者 (4件)：
BALL T

BALL T について

(Microsoft Res.)

Microsoft Res. について

, 
MAJUMDAR R

MAJUMDAR R について

(U.C. Berkeley)

U.C. Berkeley について

, 
MILLSTEIN T

MILLSTEIN T について

(Univ. Washington)

Univ. Washington について

, 
RAJAMANI S K

RAJAMANI S K について

(Microsoft Res.)

Microsoft Res. について


資料名：
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages))

ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について


巻： 36  号： 5  ページ： 203-213  発行年： 2001年05月 
JST資料番号： D0915A  ISSN： 0362-1340  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
モデル検査はハードウェアやプロトコルの分野での設計の検証とデ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*モデル検査

モデル検査 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
述語

述語 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=01A0627178&from=J-GLOBAL&jstjournalNo=D0915A") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
(JD02010R)

計算機システム開発 について

,  人工知能 
(JE08000Z)

人工知能 について

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

述語 について

, 
抽象

抽象 について


前のページに戻る

TOP

BOTTOM