文献

J-GLOBAL ID：200902028559478044   整理番号：92A0594121

抽象解釈と論理プログラムへの応用

Abstract interpretation and application to logic programs.

著者 (2件)： COUSOT P (Ecole Normale Superieure, Raris, FRA) ,  COUSOT R
資料名： Journal of Logic Programming  (Journal of Logic Programming)
巻： 13  号： 2/3  ページ： 103-179  発行年： 1992年07月 
JST資料番号： B0231B  ISSN： 0743-1066  CODEN： JLPRE2  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 抽象解釈は,意味論的なプログラム解析に利用される,意味論の近...

シソーラス用語： 論理プログラミング ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0594121&from=J-GLOBAL&jstjournalNo=B0231B") }}

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 抽象解釈 ,  論理プログラム ,  応用