Art
J-GLOBAL ID：200902028559478044   Reference number：92A0594121

Abstract interpretation and application to logic programs.

抽象解釈と論理プログラムへの応用
Author (2)：
COUSOT P

About COUSOT P

(Ecole Normale Superieure, Raris, FRA)

About Ecole Normale Superieure, Raris, FRA

, 
COUSOT R

About COUSOT R


Material：
Journal of Logic Programming  (J Log Program)

About Journal of Logic Programming


Volume： 13  Issue： 2/3  Page： 103-179  Publication year： Jul. 1992 
JST Material Number： B0231B  ISSN： 0743-1066  CODEN： JLPRE2  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.
logic programming

About logic programming

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0594121&from=J-GLOBAL&jstjournalNo=B0231B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
抽象解釈

About 抽象解釈

, 
論理プログラム

About 論理プログラム

, 
応用

About 応用


Return to Previous Page

TOP

BOTTOM