• Sign in
  • Sign up
conf.researchr.org / Hyeonseung Im
  • ESOP 2015 profile
  • SPLASH 2011 profile
  • SPLASH 2016 profile

Not registered as user yet

Name:Hyeonseung Im
Affiliation:Kangwon National University, South Korea

Contributions

DLS 2016 Author of Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain within the DLS-track
ESOP 2015 Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track
SPLASH 2011 Author of A Syntactic Type System for Recursive Modules within the OOPSLA-track

Share
xSat 10 Jun 12:11
using conf.researchr.org (v1.60.0)
Support page
Sign Up