Improving Robustness via Disjunctive Statements in Imperative Programming

Keehang KWON
Sungwoo HUR
Mi-Young PARK

IEICE TRANSACTIONS on Information and Systems   Vol.E96-D    No.9    pp.2036-2038
Publication Date: 2013/09/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.E96.D.2036
Print ISSN: 0916-8532
Type of Manuscript: Special Section LETTER (Special Section on Dependable Computing)
imperative programming,  exceptions,  task logic,  failures,  

Full Text: PDF>>
Buy this Article

To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C++, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of S, R is a success. This statement is useful for dealing with inessential errors without explicitly catching them.