Art
J-GLOBAL ID：200902104332712618   Reference number：01A0627178

Automatic Predicate Abstraction of C Programs.

Cプログラムの自動的述語抽象
Author (4)：
BALL T

About BALL T

(Microsoft Res.)

About Microsoft Res.

, 
MAJUMDAR R

About MAJUMDAR R

(U.C. Berkeley)

About U.C. Berkeley

, 
MILLSTEIN T

About MILLSTEIN T

(Univ. Washington)

About Univ. Washington

, 
RAJAMANI S K

About RAJAMANI S K

(Microsoft Res.)

About Microsoft Res.


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

About ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)


Volume： 36  Issue： 5  Page： 203-213  Publication year： May. 2001 
JST Material Number： D0915A  ISSN： 0362-1340  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.
*model checking

About model checking

,...
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.
predicate

About predicate

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=01A0627178&from=J-GLOBAL&jstjournalNo=D0915A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Artificial intelligence 
(JE08000Z)

About Artificial intelligence

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
述語

About 述語

, 
抽象

About 抽象


Return to Previous Page

TOP

BOTTOM