Shaula Yemini
An Axiomatic Treatment of Exception Handling
POPL, 1982.
@inproceedings{POPL-1982-Yemeni, author = "Shaula Yemini", booktitle = "{Conference Record of the Ninth Annual Symposium on Principles of Programming Languages}", cdrom = "POPL/00001554.PDF", doi = "10.1145/582153.582183", editor = "Richard A. DeMillo", isbn = "0-89791-065-6", pages = "281--288", publisher = "{ACM Press}", title = "{An Axiomatic Treatment of Exception Handling}", year = 1982, }