| 2008 |
|---|
| 10 | EE | Keehang Kwon,
Dae-Seong Kang,
Jinsoo Kim:
A Query System for Texts with Macros.
IEICE Transactions 91-D(1): 145-147 (2008) |
| 9 | EE | Keehang Kwon,
Dae-Seong Kang:
Extending LogicWeb via Hereditary Harrop Formulas.
IEICE Transactions 91-D(6): 1827-1829 (2008) |
| 2007 |
|---|
| 8 | EE | Keehang Kwon,
JaeWoo Kim,
Jang-Wu Jo:
An Internet Query Language based on Intuitionistic Linear Logic.
SERA 2007: 98-100 |
| 2005 |
|---|
| 7 | | Jang-Wu Jo,
Keehang Kwon:
Experiments on Mutual Dependence between Class Analysis and Exception Analysis.
Software Engineering Research and Practice 2005: 529-533 |
| 6 | EE | Keehang Kwon:
Acessing Objects Locally in Object-Oriented Languages.
Journal of Object Technology 4(2): 151-156 (2005) |
| 1998 |
|---|
| 5 | EE | Gopalan Nadathur,
Bharat Jayaraman,
Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
CoRR cs.PL/9809016: (1998) |
| 1997 |
|---|
| 4 | EE | Keehang Kwon:
A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming.
J. UCS 3(4): 341-376 (1997) |
| 1995 |
|---|
| 3 | | Gopalan Nadathur,
Bharat Jayaraman,
Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions.
J. Log. Program. 25(2): 119-161 (1995) |
| 1994 |
|---|
| 2 | | Keehang Kwon,
Gopalan Nadathur,
Debra Sue Wilson:
Implementing Polymorphic Typing in a Logic Programming Language.
Comput. Lang. 20(1): 25-42 (1994) |
| 1992 |
|---|
| 1 | | Keehang Kwon,
Gopalan Nadathur,
Debra Sue Wilson:
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.
ELP 1992: 359-393 |
