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…