Shaula Yemini. An Axiomatic Treatment of Exception Handling. In POPL. pages 281-288, 1982.
@inproceedings{Yemeni82,
title = {An Axiomatic Treatment of Exception Handling},
author = {Shaula Yemini},
year = {1982},
tags = {exceptions},
researchr = {https://researchr.org/publication/Yemeni82},
cites = {0},
citedby = {0},
pages = {281-288},
booktitle = {POPL},
}