Keehang KWON


Bounded-Choice Statements for User Interaction in Imperative Programming
Keehang KWON Jeongyoon SEO Daeseong KANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/03/01
Vol. E99-D  No. 3  pp. 751-755
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
interactionsbounded choicesread
 Summary | Full Text:PDF

Towards Interactive Object-Oriented Programming
Keehang KWON Kyunghwan PARK Mi-Young PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/02/01
Vol. E98-D  No. 2  pp. 437-438
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
interactionsobject-orientedcomputability logic
 Summary | Full Text:PDF

Expressing Algorithms as Concise as Possible via Computability Logic
Keehang KWON 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A  No. 6  pp. 1385-1387
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
tasksalgorithmagentscomputability logic
 Summary | Full Text:PDF

Improving Robustness via Disjunctive Statements in Imperative Programming
Keehang KWON Sungwoo HUR Mi-Young PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/09/01
Vol. E96-D  No. 9  pp. 2036-2038
Type of Manuscript:  Special Section LETTER (Special Section on Dependable Computing)
Category: 
Keyword: 
imperative programmingexceptionstask logicfailures
 Summary | Full Text:PDF

Extending LogicWeb via Hereditary Harrop Formulas
Keehang KWON Dae-Seong KANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/06/01
Vol. E91-D  No. 6  pp. 1827-1829
Type of Manuscript:  LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
prologsemantic Webinterface
 Summary | Full Text:PDF

A Query System for Texts with Macros
Keehang KWON Dae-Seong KANG Jinsoo KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/01/01
Vol. E91-D  No. 1  pp. 145-147
Type of Manuscript:  LETTER
Category: Automata and Formal Language Theory
Keyword: 
text searchinternetinformation retrievallinear logic
 Summary | Full Text:PDF