John Regehr, Nathan Cooprider, Will Archer, Eric Eide. Efficient type and memory safety for tiny embedded systems. In Christian W. Probst, editor, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006. pages 6, ACM, 2006. [doi]
@inproceedings{RegehrCAE06,
title = {Efficient type and memory safety for tiny embedded systems},
author = {John Regehr and Nathan Cooprider and Will Archer and Eric Eide},
year = {2006},
doi = {10.1145/1215995.1216001},
url = {http://doi.acm.org/10.1145/1215995.1216001},
tags = {type system},
researchr = {https://researchr.org/publication/RegehrCAE06},
cites = {0},
citedby = {0},
pages = {6},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006},
editor = {Christian W. Probst},
publisher = {ACM},
isbn = {1-59593-577-0},
}