( en | de | ru )

 

Disambiguation of "Yi, Kwangkeun"

Author of the publication

copydeleteadd this publication to your clipboard
GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

, , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 436-455. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhiwei Yi

Yi Yang

Yi Ni

Yi Wang

Weiyong Yi

 

Other publications of authors with the same name

Interprocedural exception analysis for Java., , , and . SAC, page 620-625. ACM, (2001)MeCC: memory comparison-based clone detector., , , and . ICSE, page 301-310. ACM, (2011)Goal-directed weakening of abstract interpretation results., , , and . ACM Trans. Program. Lang. Syst., 29 (6): 39 (2007)Adaptive Static Analysis via Learning with Bayesian Optimization., , , and . ACM Trans. Program. Lang. Syst., 40 (4): 14:1-14:37 (2018)Data Flow Analysis of Secure Information-Flow., , and . APLAS, page 352-365. (2002)Static Extensivity Analysis for ?-Definable Functions over Lattices., , and . New Generation Comput., 24 (1): 53-78 (2005)Widening with thresholds via binary search., , , and . Softw. Pract. Exp., 46 (10): 1317-1328 (2016)An algorithmic mitigation of large spurious interprocedural cycles in static analysis., and . Softw. Pract. Exp., 40 (8): 585-603 (2010)A cost-effective estimation of uncaught exceptions in Standard ML programs., and . Theor. Comput. Sci., 277 (1-2): 185-217 (2002)Automatic Construction of Hoare Proofs from Abstract Interpretation Results., , and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 230-245. Springer, (2003)