Improving Robustness via Disjunctive Statements in Imperative Programming

Keehang KWON  Sungwoo HUR  Mi-Young PARK  

Publication
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)
Category: 
Keyword: 
imperative programming,  exceptions,  task logic,  failures,  

Full Text: PDF>>
Buy this Article




Summary: 
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.