Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Se-Won
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
Type
- 102 Article
- 7,394 Conference
- 1 Thesis
Date issued
- 941 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989