Showing results 1 to 2 of 2
Inferring Grammatical Summaries of String Values Kim, Se-Won; Chin, Wooyoung; Park, Jimin; Kim, Jeongmin; Ryu, Sukyoung, 12th Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software (AAFS), 2014-11-19 |
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 |
Discover