dblp.uni-trier.dewww.uni-trier.de

Keehang Kwon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
10EEKeehang Kwon, Dae-Seong Kang, Jinsoo Kim: A Query System for Texts with Macros. IEICE Transactions 91-D(1): 145-147 (2008)
9EEKeehang Kwon, Dae-Seong Kang: Extending LogicWeb via Hereditary Harrop Formulas. IEICE Transactions 91-D(6): 1827-1829 (2008)
2007
8EEKeehang 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
6EEKeehang Kwon: Acessing Objects Locally in Object-Oriented Languages. Journal of Object Technology 4(2): 151-156 (2005)
1998
5EEGopalan Nadathur, Bharat Jayaraman, Keehang Kwon: Scoping Constructs in Logic Programming: Implementation Problems and their Solution CoRR cs.PL/9809016: (1998)
1997
4EEKeehang 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
1EEKeehang Kwon, Gopalan Nadathur, Debra Sue Wilson: Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP 1992: 359-393

Coauthor Index

1Bharat Jayaraman [3] [5]
2Jang-Wu Jo [7] [8]
3Dae-Seong Kang [9] [10]
4JaeWoo Kim [8]
5Jinsoo Kim [10]
6Gopalan Nadathur [1] [2] [3] [5]
7Debra Sue Wilson [1] [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)