Browse "School of Computing(전산학부)" by Subject DOMAINS
Showing results 1 to 2 of 2
| A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08 |
| 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,769 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989