Browse "School of Computing(전산학부)" by Author Mangal, Ravi

Showing results 2 to 2 of 2

2
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