{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:05:56Z","timestamp":1783008356111,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297031","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"39-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Ilea"],"prefix":"10.1145","author":[{"given":"Gang","family":"Tan","sequence":"first","affiliation":[{"name":"Boston College, Chestnut Hill, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[{"name":"Harvard University, Cambridge, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"49","volume-title":"Post Proceedings of International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"Barnett M.","year":"2004","unstructured":"M. Barnett , K. R. M. Leino , and W. Schulte . The Spec# programming system: An overview . In Post Proceedings of International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices , pages 49 -- 69 , 2004 . M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In Post Proceedings of International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, pages 49--69, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"No-longer-foreign: Teaching an ML compiler to speak C ''natively''. Electronic Notes in Theoretical Computer Science, 59(1)","author":"Blume M.","year":"2001","unstructured":"M. Blume . No-longer-foreign: Teaching an ML compiler to speak C ''natively''. Electronic Notes in Theoretical Computer Science, 59(1) , 2001 . M. Blume. No-longer-foreign: Teaching an ML compiler to speak C ''natively''. Electronic Notes in Theoretical Computer Science, 59(1), 2001."},{"key":"e_1_3_2_1_3_1","first-page":"283","volume-title":"First Worldwide SGI Users' Conference","author":"Bubak M.","year":"2000","unstructured":"M. Bubak , D. Kurzyniec , and P. Luszczek . Creating Java to native code interfaces with Janet extension . In First Worldwide SGI Users' Conference , pages 283 -- 294 , 2000 . M. Bubak, D. Kurzyniec, and P. Luszczek. Creating Java to native code interfaces with Janet extension. In First Worldwide SGI Users' Conference, pages 283--294, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_6_1","volume-title":"Common Language Infrastructure (CLI)","author":"International Ecma","year":"2006","unstructured":"Ecma International . Common Language Infrastructure (CLI) , 4 th edition, June 2006 . Standard ECMA- 335. Ecma International. Common Language Infrastructure (CLI), 4th edition, June 2006. Standard ECMA-335.","edition":"4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949332"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317790"},{"key":"e_1_3_2_1_9_1","volume-title":"A framework for interoperability. Electronic Notes in Theoretical Computer Science, 59(1)","author":"Fisher K.","year":"2001","unstructured":"K. Fisher , R. Pucella , and J. H. Reppy . A framework for interoperability. Electronic Notes in Theoretical Computer Science, 59(1) , 2001 . K. Fisher, R. Pucella, and J. H. Reppy. A framework for interoperability. Electronic Notes in Theoretical Computer Science, 59(1), 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_29"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_12_1","unstructured":"Fortify. http:\/\/www.fortifysoftware.com\/.  Fortify. http:\/\/www.fortifysoftware.com\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025011624925"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065019"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331970"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297030"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"e_1_3_2_1_20_1","volume-title":"a C program checker. Unix Documentation","author":"Johnson S.","year":"1977","unstructured":"S. Johnson . Lint , a C program checker. Unix Documentation , 1977 . S. Johnson. Lint, a C program checker. Unix Documentation, 1977."},{"key":"e_1_3_2_1_21_1","author":"Knizhnik K.","year":"2002","unstructured":"K. Knizhnik and C. Artho . J. lint manual , 2002 . http:\/\/artho.com\/jlint\/manual.html. K. Knizhnik and C. Artho. J. lint manual, 2002. http:\/\/artho.com\/jlint\/manual.html.","journal-title":"J. lint manual"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11406921_22"},{"key":"e_1_3_2_1_23_1","unstructured":"X. Leroy. The Objective Caml system. http:\/\/caml.inria.fr\/pub\/docs\/manual--ocaml\/index.html.  X. Leroy. The Objective Caml system. http:\/\/caml.inria.fr\/pub\/docs\/manual--ocaml\/index.html."},{"key":"e_1_3_2_1_24_1","volume-title":"Programmer's Guide and Reference","author":"Liang S.","year":"1999","unstructured":"S. Liang . Java Native Interface : Programmer's Guide and Reference . Addison-Wesley Longman Publishing Co., Inc. , 1999 . S. Liang. Java Native Interface: Programmer's Guide and Reference. Addison-Wesley Longman Publishing Co., Inc., 1999."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190220"},{"key":"e_1_3_2_1_26_1","unstructured":"J. Meyer D. Reynaud and I. Kharon. Jasmin. http:\/\/jasmin.sourceforge.net\/ 2004.  J. Meyer D. Reynaud and I. Kharon. Jasmin. http:\/\/jasmin.sourceforge.net\/ 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_30_1","unstructured":"M. Norrish. Formalising C in HOL. PhD thesis University of Cambridge 1998.  M. Norrish. Formalising C in HOL. PhD thesis University of Cambridge 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504297"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583833"},{"key":"e_1_3_2_1_33_1","first-page":"139","volume-title":"Virtual Machine Research and Technology Symposium","author":"Qian F.","year":"2004","unstructured":"F. Qian and L. J. Hendren . Towards dynamic interprocedural analysis in JVMs . In Virtual Machine Research and Technology Symposium , pages 139 -- 150 , 2004 . F. Qian and L. J. Hendren. Towards dynamic interprocedural analysis in JVMs. In Virtual Machine Research and Technology Symposium, pages 139--150, 2004."},{"key":"e_1_3_2_1_34_1","unstructured":"Splint. http:\/\/www.splint.org\/.  Splint. http:\/\/www.splint.org\/."},{"key":"e_1_3_2_1_35_1","first-page":"97","volume-title":"Proceedings of IEEE International Symposium on Secure Software Engineering","author":"Tan G.","year":"2006","unstructured":"G. Tan , A. W. Appel , S. Chakradhar , A. Raghunathan , S. Ravi , and D. Wang . Safe Java Native Interface . In Proceedings of IEEE International Symposium on Secure Software Engineering , pages 97 -- 106 , 2006 . G. Tan, A. W. Appel, S. Chakradhar, A. Raghunathan, S. Ravi, and D. Wang. Safe Java Native Interface. In Proceedings of IEEE International Symposium on Secure Software Engineering, pages 97--106, 2006."},{"key":"e_1_3_2_1_36_1","first-page":"128","volume-title":"8th European Symposium on Programming (ESOP)","author":"Trifonov V.","year":"1999","unstructured":"V. Trifonov and Z. Shao . Safe and principled language interoperation . In 8th European Symposium on Programming (ESOP) , pages 128 -- 146 , 1999 . V. Trifonov and Z. Shao. Safe and principled language interoperation. In 8th European Symposium on Programming (ESOP), pages 128--146, 1999."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297031","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:26Z","timestamp":1750244306000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297031"}},"subtitle":["inter-language analysis across java and c"],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":35,"alternative-id":["10.1145\/1297027.1297031","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297031","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297031","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}