Browse "School of Computing(전산학부)" by Subject abstract interpretation
Showing results 1 to 13 of 13
| Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
| Design and Implementation of Sparse Global Analyses for C-like Languages Oh, Hakjoo; Heo, Kihong; Lee, Wonchan; Lee, Woosuk; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.47, no.6, pp.229 - 238, 2012-06 |
| Global Sparse Analysis Framework Oh, Hakjoo; Heo, Kihong; Lee, Wonchan; Lee, Woosuk; Park, Daejun; Kang, Jeehoon; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.36, no.3, 2014-09 |
| 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 |
| LR formalisms as abstract interpretations of grammar semantics O, S; Choe, Kwang-Moo, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.12, pp.2924 - 2932, 2006-12 |
| Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, SOFTWARE-PRACTICE & EXPERIENCE, v.47, no.11, pp.1677 - 1705, 2017-11 |
| Selective X-Sensitive Analysis Guided by Impact Pre-Analysis Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2, 2016-01 |
| Sound Non-Statistical Clustering of Static Analysis Alarms Lee, Woosuk; Lee, Wonchan; Kang, Dongok; Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.39, no.4, 2017-09 |
| Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04 |
| Weakly sensitive analysis for JavaScript object-manipulating programs Ko, Yoon Seok; Rival, Xavier; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.49, no.5, pp.840 - 884, 2019-05 |
| Widening with thresholds via binary search Kim, Sol; Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.10, pp.1317 - 1328, 2016-10 |
| 요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석 박지희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.4, pp.217 - 222, 2020-04 |
| 요약해석을 이용한 HTML 문서 생성 PHP 프로그램 문자열 분석 = String analysis for HTML document generating PHP program using abstract interpretationlink 최재준; Choi, Jae-Jun; et al, 한국과학기술원, 2012 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989