文献

J-GLOBAL ID：201302258317767082   整理番号：13A1163333

抽象領域としての拡張

Widening as Abstract Domain

著者 (3件)： MIHAILA Bogdan (Technical Univ. Munich, Garching b. Muenchen, DEU) ,  SEPP Alexander (Technical Univ. Munich, Garching b. Muenchen, DEU) ,  SIMON Axel (Technical Univ. Munich, Garching b. Muenchen, DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7871  ページ： 170-184  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 抽象 ,  拡張