|
СТ |
Automatic Construction of Hoare Proofs from Abstract Interpretation Results |
2003 |
Seo S., Yang H., Yi K. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
|
СТ |
Inserting Safe Memory Reuse Commands into ML-Like Programs |
2003 |
Lee O., Yang H., Yi K. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
On Expressive and Model Checking Power of Propositional Program Logics |
2001 |
Shilov N. V., Yi K. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework |
2001 |
Polakow J., Yi K. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Model checking puzzles in mu-Calculus |
2000 |
Shilov N. V., Yi K. |
|
|
Russian Academy of Science, Siberian Division |
Joint Bull. of NCC and IIS |
06.03.2001 |
|
СТ |
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm |
1998 |
Lee O., Yi K. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Compile-time Detection of Uncaught Exceptions in Standard ML Programs |
1994 |
Yi K. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
