首页    期刊浏览 2024年12月02日 星期一
登录注册

文章基本信息

  • 标题:Improving Program Correctness with Atomic Exception Handling
  • 作者:Christof Fetzer ; Pascal Felber
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2007
  • 卷号:13
  • 期号:8
  • 页码:1047-1072
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:Exception handling is a powerful mechanisms for dealing with failures at runtime. It simplifies the development of robust programs by allowing the programmer to implement recovery actions and tolerate non-fatal errors. Yet, exception handling is difficult to get right! The complexity of correct exception handling is a major cause for incorrect exception handling. It is therefore important to reduce the complexity of writing exception handling code while, at the same time, making sure it is correct. Our approach is to use atomic blocks for exception handling combined with optional compensation actions.
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有