Showing 2017Show all
3 papers · 1 filter
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.PL2017
Local Modules in Imperative Languages
Keehang Kwon, Daeseong Kang
We propose a notion of local modules for imperative langauges. To be specific, we introduce a new implication statement of the form where is a module (i.e., a set…
cs.LO2017
Towards a Decidable LogicWeb via Length-Bounded Derivations
Keehang Kwon, Daeseong Kang
LogicWeb has traditionally lacked devices for dealing with intractable queries. We address this limitation by adopting length-bounded inference, a form of approximate reasoning. A…