Browse "School of Computing(전산학부)" by Author Zhang, Xin

Showing results 1 to 3 of 3

1
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

2
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

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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0