Proof-carrying code. Necula, G. C. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97, volume 243, pages 106–119, New York, NY, USA, January, 1997. ACM. ZSCC: 0002504 Issue: 65![Proof-carrying code [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{necula_proof-carrying_1997,
address = {New York, NY, USA},
title = {Proof-carrying code},
volume = {243},
isbn = {0-89791-853-3},
url = {http://dl.acm.org/citation.cfm?id=263699.263712},
doi = {10/bmhmn9},
urldate = {2015-10-31},
booktitle = {Proceedings of the 24th {ACM} {SIGPLAN}-{SIGACT} symposium on {Principles} of programming languages - {POPL} '97},
publisher = {ACM},
author = {Necula, George C.},
month = jan,
year = {1997},
note = {ZSCC: 0002504
Issue: 65},
pages = {106--119}
}
Downloads: 0
{"_id":"xEeoqYz5DW4XtTqib","bibbaseid":"necula-proofcarryingcode-1997","authorIDs":[],"author_short":["Necula, G. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, NY, USA","title":"Proof-carrying code","volume":"243","isbn":"0-89791-853-3","url":"http://dl.acm.org/citation.cfm?id=263699.263712","doi":"10/bmhmn9","urldate":"2015-10-31","booktitle":"Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97","publisher":"ACM","author":[{"propositions":[],"lastnames":["Necula"],"firstnames":["George","C."],"suffixes":[]}],"month":"January","year":"1997","note":"ZSCC: 0002504 Issue: 65","pages":"106–119","bibtex":"@inproceedings{necula_proof-carrying_1997,\n\taddress = {New York, NY, USA},\n\ttitle = {Proof-carrying code},\n\tvolume = {243},\n\tisbn = {0-89791-853-3},\n\turl = {http://dl.acm.org/citation.cfm?id=263699.263712},\n\tdoi = {10/bmhmn9},\n\turldate = {2015-10-31},\n\tbooktitle = {Proceedings of the 24th {ACM} {SIGPLAN}-{SIGACT} symposium on {Principles} of programming languages - {POPL} '97},\n\tpublisher = {ACM},\n\tauthor = {Necula, George C.},\n\tmonth = jan,\n\tyear = {1997},\n\tnote = {ZSCC: 0002504 \nIssue: 65},\n\tpages = {106--119}\n}\n\n","author_short":["Necula, G. C."],"key":"necula_proof-carrying_1997","id":"necula_proof-carrying_1997","bibbaseid":"necula-proofcarryingcode-1997","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=263699.263712"},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2019-05-11T17:47:04.456Z","downloads":0,"keywords":[],"search_terms":["proof","carrying","code","necula"],"title":"Proof-carrying code","year":1997,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}