2 papers
cs.PL2017
A Concurrent Model for Imperative Languages with Improved Atomicity
Keehang Kwon, Daeseong Kang
We propose a new concurrent model for imperative languages where concurrency occurs at a subprogram level. This model introduces a new {\it block sequential} statement of the form…
cs.PL2014
Sequential Operations in LogicWeb
Daeseong Kang, Keehang Kwon, Zulkarnine Mahmud
Sequential tasks cannot be effectively handled in logic programming based on classical logic or linear logic. This limitation can be addressed by using a fragment of Japaridze'sSeq…