Search results for: Kwangkeun Yi
Software: Practice and Experience > 47 > 11 > 1677 - 1705
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Functional Languages > 171-188
Lecture Notes in Computer Science > Functional and Logic Programming > Functional Programming > 61-77
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 139-153
Software: Practice and Experience > 46 > 10 > 1317 - 1328
Lecture Notes in Computer Science > Programming Languages and Systems > Session 1: Program Analysis > 50-65
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 356-370
Lecture Notes in Computer Science > Static Analysis > 98-113
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 180-196
Lecture Notes in Computer Science > Static Analysis > 238-254
Science of Computer Programming > 2013 > 78 > 9 > 1701-1727
Software: Practice and Experience > 40 > 8 > 585 - 603