Showing 2017 · cs.PLShow all
2 papers · 2 filters
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…