{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:33:53Z","timestamp":1726407233893},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_4","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T03:18:26Z","timestamp":1186888706000},"page":"47-62","source":"Crossref","is-referenced-by-count":5,"title":["A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code"],"prefix":"10.1007","author":[{"given":"Robert R.","family":"Schneck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George C.","family":"Necula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Foundational proof-carrying code. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, pages 247\u2013258, June 2001.","DOI":"10.1109\/LICS.2001.932501"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel and Amy P. Felty. A semantic model of types and machine instructions for proof-carrying code. In POPL\u2019 00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 243\u2013253. ACM Press, January 2000.","DOI":"10.1145\/325694.325727"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, and Kenneth Cline. A certifying compiler for Java. ACM SIGPLAN Notices, 35(5):95\u2013107, May 2000.","DOI":"10.1145\/358438.349315"},{"key":"4_CR4","unstructured":"Coq Development Team. The Coq proof assistant reference manual, version 7.2. January 2002."},{"key":"4_CR5","unstructured":"Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong Ni. A syntactic approach to foundational proof-carrying code. Submitted for publication, January 2002."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Neophytos G. Michael and Andrew W. Appel. Machine instruction syntax and semantics in higher-order logic. In Proceedings of the 17th International Conference on Automated Deduction, pages 7\u201324. Springer-Verlag, June 2000.","DOI":"10.1007\/10721959_2"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"George C. Necula. Proof-carrying code. In The 24th Annual ACM Symposium on Principles of Programming Languages, pages 106\u2013119. ACM, January 1997.","DOI":"10.1145\/263699.263712"},{"key":"4_CR8","unstructured":"George C. Necula. Compiling with Proofs. PhD thesis, Carnegie Mellon University, September 1998. Also available as CMU-CS-98-154."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"George C. Necula. A scalable architecture for proof-carrying code. In The 5th International Symposium of Functional and Logic Programming, pages 21\u201339, March 2001.","DOI":"10.1007\/3-540-44716-4_2"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:56:09Z","timestamp":1556740569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}