4 citations
2 papers
cs.PL2013
Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming
Keehang Kwon, Jeongyoon Seo, Daeseong Kang
Adding versatile interactions to imperative programming -- C, Java and Android -- is an essential task. Unfortunately, existing languages provide only limited constructs for user i…
cs.PL2012★ 4 cited
Improving Robustness via Disjunctive Statements in Imperative Programming
Keehang Kwon, Sungwoo Hur, Mi-Young Park
To deal with failures as simply as possible, we propose a new foun- dation for the core (untyped) C, which is based on a new logic called task logic or imperative logic. We then in…