Bart Jacobs, Frank Piessens
Failboxes: Provably Safe Exception Handling
ECOOP, 2009.
@inproceedings{ECOOP-2009-JacobsP, author = "Bart Jacobs and Frank Piessens", booktitle = "{Proceedings of the 23rd European Conference on Object-Oriented Programming}", doi = "10.1007/978-3-642-03013-0_22", editor = "Sophia Drossopoulou", isbn = "978-3-642-03012-3", pages = "470--494", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Failboxes: Provably Safe Exception Handling}", volume = 5653, year = 2009, }