{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:29:01Z","timestamp":1730280541237,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029819","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"89-100","source":"Crossref","is-referenced-by-count":20,"title":["A syntactic approach to foundational proof-carrying code"],"prefix":"10.1109","author":[{"given":"N.A.","family":"Hamid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhong Shao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Trifonov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Monnier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhaozhong Ni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037116"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277752"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"Compiling with proofs","year":"1998","author":"necula","key":"16"},{"key":"13","first-page":"28","article-title":"Stack-based typed assembly language","volume":"1473","author":"morrisett","year":"1998","journal-title":"Proc 1998 International Workshop on Types in Compilation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"journal-title":"Precision in practice A type-preserving Java compiler","year":"2002","author":"league","key":"11"},{"key":"12","first-page":"7","article-title":"Machine instruction syntax and semantics in higher order logic","author":"michael","year":"2000","journal-title":"Proc 17th International Conference on Automated Deduction"},{"journal-title":"Typed machine language and its semantics","year":"2001","author":"swadi","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503293"},{"journal-title":"The Coq proof assistant reference manual The Coq release v7 1","year":"2001","key":"22"},{"journal-title":"Une The?orie des Constructions Inductives","year":"1994","author":"werner","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507657"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932501"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029818"},{"key":"10","article-title":"The formulae-as-types notion of constructions","author":"howard","year":"1980","journal-title":"To H B Curry Essays on Computational Logic Lambda Calculus and Formalism"},{"key":"1","article-title":"Mutable fields in a semantic model of types","author":"ahmed","year":"2000","journal-title":"2000 PCC Workshop"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349315"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/504709.504712"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325727"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029819"},{"key":"8","article-title":"Semantic models of types and machine instructions for proof-carrying code","author":"felty","year":"2000","journal-title":"2000 PCC Workshop"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-02","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029819.pdf?arnumber=1029819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T16:44:46Z","timestamp":1489164286000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029819","relation":{},"subject":[]}}