Safety checking of machine code. Xu, Z., Miller, B. P., & Reps, T. W. In Proceedings of Programming Language Design and Implementation (PLDI), pages 70-82, 2000. ![Safety checking of machine code [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3806644,
title = {Safety checking of machine code},
author = {Zhichen Xu and Barton P. Miller and Thomas W. Reps},
author_short = {Xu, Z. and Miller, B. P. and Reps, T. W.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2000},
key = {dblp3806644},
id = {dblp3806644},
biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/XuMR00},
url = {http://doi.acm.org/10.1145/349299.349313},
conference = {PLDI},
pages = {70-82},
text = {PLDI 2000:70-82},
booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}
}
Downloads: 0
{"_id":"ise5Ja5T3HLkEscXi","bibbaseid":"xu-miller-reps-safetycheckingofmachinecode-2000","downloads":0,"creationDate":"2014-12-14T05:19:30.091Z","title":"Safety checking of machine code","author_short":["Xu, Z.","Miller, B. P.","Reps, T. W."],"year":2000,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/XuMR00","bibdata":{"title":"Safety checking of machine code","author":["Zhichen Xu","Barton P. Miller","Thomas W. Reps"],"author_short":["Xu, Z.","Miller, B. P.","Reps, T. W."],"bibtype":"inproceedings","type":"inproceedings","year":"2000","key":"dblp3806644","id":"dblp3806644","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/XuMR00","url":"http://doi.acm.org/10.1145/349299.349313","conference":"PLDI","pages":"70-82","text":"PLDI 2000:70-82","booktitle":"Proceedings of Programming Language Design and Implementation (PLDI)","bibtex":"@inproceedings{ dblp3806644,\n title = {Safety checking of machine code},\n author = {Zhichen Xu and Barton P. Miller and Thomas W. Reps},\n author_short = {Xu, Z. and Miller, B. P. and Reps, T. W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2000},\n key = {dblp3806644},\n id = {dblp3806644},\n biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/XuMR00},\n url = {http://doi.acm.org/10.1145/349299.349313},\n conference = {PLDI},\n pages = {70-82},\n text = {PLDI 2000:70-82},\n booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}\n}","bibbaseid":"xu-miller-reps-safetycheckingofmachinecode-2000","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/349299.349313"},"downloads":0},"search_terms":["safety","checking","machine","code","xu","miller","reps"],"keywords":[],"authorIDs":[],"dataSources":["n4D9RErKraBTdvczB"]}