Browse "School of Computing(전산학부)" by Subject languages
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
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989