Safe and Leakproof Resource Management using Ada83 Limited Types (1993)
by
Henry G. Baker
| Venue: | XIII, No 5, Sep.-Oct |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Baker93safeand,
author = {Henry G. Baker},
title = {Safe and Leakproof Resource Management using Ada83 Limited Types},
booktitle = {XIII, No 5, Sep.-Oct},
year = {1993},
pages = {32--42}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper and [Baker91SP] show that Mendal was needlessly pessimistic.
