Fault-tolerant typed assembly language

@inproceedings{citeulike:2683544, address = {New York, NY, USA}, author = {Perry, Frances and Mackey, Lester and Reis, George A. and Ligatti, Jay and August, David I. and Walker, David}, booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation}, citeulike-article-id = {2683544}, doi = {10.1145/1250734.1250741}, isbn = {9781595936332}, keywords = {certified, compilation}, pages = {42--53}, posted-at = {2008-04-17 22:21:52}, priority = {4}, publisher = {ACM}, title = {Fault-tolerant typed assembly language}, url = {http://dx.doi.org/10.1145/1250734.1250741}, year = {2007} }

TY - CONF ID - citeulike:2683544 L3 - citeulike-article-id:2683544 SN - 9781595936332 AD - New York, NY, USA EP - 53 TI - Fault-tolerant typed assembly language PB - ACM T2 - PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation SP - 42 KW - certified KW - compilation AU - Perry, Frances AU - Mackey, Lester AU - Reis, George AU - Ligatti, Jay AU - August, David AU - Walker, David PY - 2007/// UR - http://dx.doi.org/10.1145/1250734.1250741 ER -