{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:05Z","timestamp":1772163965113,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,12]]},"DOI":"10.1145\/1065010.1065019","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"62-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Checking type safety of foreign function calls"],"prefix":"10.1145","author":[{"given":"Michael","family":"Furr","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}]}],"member":"320","published-online":{"date-parts":[[2005,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ANSI. Programming languages -- C 1999. ISO\/IEC 9899:1999.]]  ANSI. Programming languages -- C 1999. ISO\/IEC 9899:1999.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"D. M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++ .]]  D. M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++ .]]"},{"key":"e_1_3_2_1_3_1","volume-title":"BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability","volume":"59","author":"Benton N.","year":"2001","unstructured":"N. Benton and A. Kennedy , editors . BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability , volume 59 of Electronic Notes in Theoretical Computer Science, Firenze, Italy , Sept. 2001 . http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]] N. Benton and A. Kennedy, editors. BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability, volume 59 of Electronic Notes in Theoretical Computer Science, Firenze, Italy, Sept. 2001. http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]]"},{"key":"e_1_3_2_1_4_1","unstructured":"M. Blume. No-Longer-Foreign: Teaching an ML compiler to speak C \"natively\". In Benton and Kennedy babel01. http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]]  M. Blume. No-Longer-Foreign: Teaching an ML compiler to speak C \"natively\". In Benton and Kennedy babel01. http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316183"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Static Analysis, 10th International Symposium","author":"Christensen A. S.","year":"2003","unstructured":"A. S. Christensen , A. M\u00f8ller , and M. I. Schwartzbach . Precise Analysis of String Expressions . In R. Cousot, editor, Static Analysis, 10th International Symposium , volume 2694 of Lecture Notes in Computer Science , pages 1 -- 18 , San Diego, CA , USA, June 2003 . Springer-Verlag .]] A. S. Christensen, A. M\u00f8ller, and M. I. Schwartzbach. Precise Analysis of String Expressions. In R. Cousot, editor, Static Analysis, 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 1--18, San Diego, CA, USA, June 2003. Springer-Verlag.]]"},{"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","doi-asserted-by":"crossref","unstructured":"K. Fisher R. Pucella and J. Reppy. A framework for interoperability. In Benton and Kennedy {3}. http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]]  K. Fisher R. Pucella and J. Reppy. A framework for interoperability. In Benton and Kennedy {3}. http:\/\/www.elsevier.nl\/locate\/entcs\/volume59.html.]]","DOI":"10.1016\/S1571-0661(05)80450-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999468"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/274946.274957"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Usenix 1996 Annual Technical Conference","author":"Hamilton J.","year":"1996","unstructured":"J. Hamilton . Interlanguage Object Sharing with SOM . In Proceedings of the Usenix 1996 Annual Technical Conference , San Diego, California , Jan. 1996 .]] J. Hamilton. Interlanguage Object Sharing with SOM. In Proceedings of the Usenix 1996 Annual Technical Conference, San Diego, California, Jan. 1996.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/772970.772973"},{"key":"e_1_3_2_1_15_1","unstructured":"L. Huelsbergen. A Portable C Interface for Standard ML of New Jersey. http:\/\/www.smlnj.org\/\/doc\/SMLNJ-C\/smlnj-c.ps 1996.]]  L. Huelsbergen. A Portable C Interface for Standard ML of New Jersey. http:\/\/www.smlnj.org\/\/doc\/SMLNJ-C\/smlnj-c.ps 1996.]]"},{"key":"e_1_3_2_1_16_1","volume-title":"Aug.","author":"Leroy X.","year":"2004","unstructured":"X. Leroy . The Objective Caml system , Aug. 2004 . Release 3.08, http:\/\/caml.inria.fr\/distrib\/ocaml-3.08\/ocaml-3.08-refman.pdf.]] X. Leroy. The Objective Caml system, Aug. 2004. Release 3.08, http:\/\/caml.inria.fr\/distrib\/ocaml-3.08\/ocaml-3.08-refman.pdf.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"The Java Native Interface: Programmer's Guide and Specification","author":"Liang S.","year":"1999","unstructured":"S. Liang . The Java Native Interface: Programmer's Guide and Specification . Addison-Wesley , 1999 .]] S. Liang. The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley, 1999.]]"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/3-540-45337-7_9","volume-title":"ECOOP 2001 - Object-Oriented Programming, 15th European Conference","author":"Meijer E.","year":"2001","unstructured":"E. Meijer , N. Perry , and A. van Yzendoorn . Scripting .NET using Mondrian . In J. L. Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference , volume 2072 of Lecture Notes in Computer Science , pages 150 -- 164 , Budapest, Hungary, June 2001 . Springer-Verlag .]] E. Meijer, N. Perry, and A. van Yzendoorn. Scripting .NET using Mondrian. In J. L. Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference, volume 2072 of Lecture Notes in Computer Science, pages 150--164, Budapest, Hungary, June 2001. Springer-Verlag.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction, 11th International Conference","author":"Necula G. C.","year":"2002","unstructured":"G. C. Necula , S. McPeak , S. P. Rahul , and W. Weimer . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs . In R. N. Horspool, editor, Compiler Construction, 11th International Conference , volume 2304 of Lecture Notes in Computer Science , pages 213 -- 228 , Grenoble, France, Apr . 2002 . Springer-Verlag .]] G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In R. N. Horspool, editor, Compiler Construction, 11th International Conference, volume 2304 of Lecture Notes in Computer Science, pages 213--228, Grenoble, France, Apr. 2002. Springer-Verlag.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75284"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"V.\n      Trifonov\n     and \n      Z.\n      Shao\n  . \n  Safe and Principled Language Interoperation\n  . In D. Swierstra editor 8th European Symposium on Programming volume \n  1576\n   of \n  Lecture Notes in Computer Science pages \n  128\n  --\n  146 Amsterdam The Netherlands Mar. \n  1999\n  . \n  Springer-Verlag\n  .]]   V. Trifonov and Z. Shao. Safe and Principled Language Interoperation. In D. Swierstra editor 8th European Symposium on Programming volume 1576 of Lecture Notes in Computer Science pages 128--146 Amsterdam The Netherlands Mar. 1999. Springer-Verlag.]]","DOI":"10.1007\/3-540-49099-X_9"}],"event":{"name":"PLDI05: ACM SIGPLAN Conference on Programming Language Design and Implementation 2005","location":"Chicago IL USA","acronym":"PLDI05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065010.1065019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:53:26Z","timestamp":1693824806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065010.1065019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,12]]},"references-count":20,"alternative-id":["10.1145\/1065010.1065019","10.1145\/1065010"],"URL":"https:\/\/doi.org\/10.1145\/1065010.1065019","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1064978.1065019","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,12]]},"assertion":[{"value":"2005-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}