Browse "School of Computing(전산학부)" by Author Zhang, Xin
Showing results 3 to 3 of 3
| 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,774 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989