Failboxes: Provably Safe Exception Handling-Reference-Cited by-同舟云学术

Failboxes: Provably Safe Exception Handling

Published:2009 Issue: Volume: Page:470-494
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Jacobs Bart,Piessens Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03013-0_22

Reference23 articles.

1. Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, Royal Institute of Technology, Stockholm, Sweden (2003)

2. Lecture Notes in Computer Science;M. Barnett,2006

3. Brooke, P.J., Paige, R.F.: Exceptions in Concurrent Eiffel. Journal of Object Technology 6(10), 111–126 (2007)

4. Dony, C.: Exception handling and object-oriented programming: a synthesis. In: Proc. OOPSLA (1990)

5. Fetzer, C., Högstedt, K., Felber, P.: Automatic detection and masking of non-atomic exception handling. In: Proc. Intl. Conf. Dependable Systems and Networks (DSN) (2003)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dependency safety for Java – Implementing and testing failboxes;Science of Computer Programming;2019-10

2. Modular Termination Verification of Single-Threaded and Multithreaded Programs;ACM Transactions on Programming Languages and Systems;2018-09-30

3. Dependency Safety for Java;Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools;2016-08-29

4. Integrating automatic backward error recovery in asynchronous rich clients;Proceedings of the 38th International Conference on Software Engineering Companion;2016-05-14

5. Reversibility in the higher-order π-calculus;Theoretical Computer Science;2016-04