Periodo de publicación recogido
|
|
|
Sound Non-Statistical Clustering of Static Analysis Alarms
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 39, Nº 4, 2017
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 38, Nº 2, 2016
Global Sparse Analysis Framework
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 36, Nº 3, 2014
Goal-directed weakening of abstract interpretation results
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 29, Nº 6, 2007
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Kwangkeun Yi, Oukseh Lee
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 20, Nº 4, 1998, págs. 707-723
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados