文献

J-GLOBAL ID：201302292920258820   整理番号：13A1417206

痩せたツリー上での量化データオートマトン:リストに対する抽象ドメイン

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

著者 (3件)： GARG Pranav (Univ. Illinois at Urbana-Champaign, USA) ,  MADHUSUDAN P. (Univ. Illinois at Urbana-Champaign, USA) ,  PARLATO Gennaro (Univ. Southampton, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7935  ページ： 172-193  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： オートマトン ,  リスト ,  抽象 ,  ドメイン