{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:59Z","timestamp":1749125159854},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_44","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T03:00:33Z","timestamp":1167447633000},"page":"557-560","source":"Crossref","is-referenced-by-count":6,"title":["A Proof-Carrying Code Architecture for Java"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Colby","sequence":"first","affiliation":[]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[]},{"given":"George C.","family":"Necula","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"44_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery\u00a040(1), 143\u2013184 (1993)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"44_CR2","unstructured":"Leroy, X.: The ZINC experiment, an economical implementation of the ML language. Technical Report 117, INRIA (1990)"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Necula, G., Lee, P.: Safe kernel extensions without run-time checking. In: Second Symposium on Operating Systems Design and Implementation, Seattle, October 1996, pp. 229\u2013243 (1996)","DOI":"10.1145\/238721.238781"},{"key":"44_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-68671-1_5","volume-title":"Mobile Agents and Security","author":"G. Necula","year":"1998","unstructured":"Necula, G., Lee, P.: Safe, untrusted agents using proof-carrying code. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol.\u00a01419, p. 61. Springer, Heidelberg (1998)"},{"key":"44_CR5","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997)","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: Jones, N.D. (ed.) Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997), Paris, France, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"#cr-split#-44_CR6.1","unstructured":"Necula, G.C.: Compiling with Proofs. PhD thesis, Carnegie Mellon University (October 1998);"},{"key":"#cr-split#-44_CR6.2","unstructured":"Available as Technical Report CMU-CS-98-154"},{"key":"44_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/277650.277752","volume-title":"Proceedings of the Conference on Programming Language Design and Implementation (PLDI 1998)","author":"G.C. Necula","year":"1998","unstructured":"Necula, G.C., Lee, P.: The design and implementation of a certifying compiler. In: Cooper, K.D. (ed.) Proceedings of the Conference on Programming Language Design and Implementation (PLDI 1998), Montreal, Canada, pp. 333\u2013344. ACM Press, New York (1998)"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Necula, G.C., Rahul, S.P.: Oracle-based checking of untrusted soft-ware. Submitted to Programming Language Design and Implementation. In: PLDI 2000 (November 1999)","DOI":"10.1145\/360204.360216"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:15:21Z","timestamp":1683702921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/10722167_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}