Art

J-GLOBAL ID：200902277717605040   Reference number：06A0612752

Opaque Predicates Detection by Abstract Interpretation

抽象的解釈による不明確述語の検出

Author (4)： DALLA PREDA Mila (Univ. Verona, ITA) ,  MADOU Matias (Ghent Univ., BEL) ,  DE BOSSCHERE Koen (Ghent Univ., BEL) ,  GIACOBAZZI Roberto (Univ. Verona, ITA)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 4019  Page： 81-95  Publication year： 2006 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (1)： 述語