Showing results 1 to 2 of 2
Error repair with validation in LR-based parsing Kim, IS; Choe, Kwang-Moo, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.23, no.4, pp.451 - 471, 2001-07 |
Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
Discover