Showing results 8 to 11 of 11
Selecting the Backtrack Literal in the AND/OR Process Model Woo, Nam Sung; Choe, Kwang-Moo, SLP '86 Third IEEE Symposium on Logic Programming, pp.200 - 210, 1986 |
String analysis as an abstract interpretation Kim, Se-Won; Choe, Kwang-Moo, 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, pp.294 - 308, 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, 2011-01-23 |
SUIF program analysis using System Z2 Kim, Seong-Hoon; Yi, Kwangkeun; Eo, Hyun-Jun; Choe, Kwang-Moo, The SUIF Compiler Workshop, pp.185 - 190, 1997 |
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Discover