Browse "School of Computing(전산학부)" by Author Zhang, Xin
Showing results 1 to 3 of 3
| Finding Optimum Abstractions in Parametric Dataflow Analysis Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06 |
| Hybrid Top-down and Bottom-up Interprocedural Analysis Zhang, Xin; Mangal, Ravi; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06 |
| On Abstraction Refinement for Program Analyses in Datalog Zhang, Xin; Mangal, Ravi; Grigore, Radu; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.239 - 248, 2014-06 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,769 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989