{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:41:31Z","timestamp":1770284491504,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330950","type":"print"},{"value":"9783540330967","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11693024_21","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T08:30:35Z","timestamp":1143534635000},"page":"309-324","source":"Crossref","is-referenced-by-count":41,"title":["Polymorphic Type Inference for the JNI"],"prefix":"10.1007","author":[{"given":"Michael","family":"Furr","sequence":"first","affiliation":[]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Rehof, J., F\u00e4hndrich, M.: Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability. In: Proceedings of the 28th Annual ACM Symposium on Principles of Programming Languages, London, United Kingdom (2001)","DOI":"10.1145\/360204.360208"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rehof, J., Das, M.: Scalable Context-Sensitive Flow Analysis using Instantiation Constraints. In: Proceedings of the 2000 ACM Conference on Programming Language Design and Implementation, Vancouver B.C., Canada (2000)","DOI":"10.1145\/349299.349332"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"Henglein, F.: Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems\u00a015, 253\u2013289 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Furr, M., Foster, J.S.: Checking Type Safety of Foreign Function Calls. In: Proceedings of the 2005 ACM Conference on Programming Language Design and Implementation, Chicago, Illinois, pp. 62\u201372 (2005)","DOI":"10.1145\/1065010.1065019"},{"key":"21_CR5","volume-title":"The Java Native Interface: Programmer\u2019s Guide and Specification","author":"S. Liang","year":"1999","unstructured":"Liang, S.: The Java Native Interface: Programmer\u2019s Guide and Specification. Addison-Wesley, Reading (1999)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Furr, M., Foster, J.S.: Polymorphic Type Inference for the JNI. Technical Report CS-TR-4759, University of Maryland, Computer Science Department (2005)","DOI":"10.1007\/11693024_21"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: Compiler Construction, 11th International Conference, Grenoble, France (2002)","DOI":"10.1007\/3-540-45937-5_16"},{"key":"21_CR8","unstructured":"Cannasse, N.: (Ocaml javalib), http:\/\/team.motion-twin.com\/ncannasse\/javaLib\/"},{"key":"21_CR9","unstructured":"Java-Gnome Developers: (Java bindings for the gnome and gtk libraries), http:\/\/java-gnome.sourceforge.net"},{"key":"21_CR10","unstructured":"Furr, M., Foster, J.S.: Java SE 6 \u201dMustang\u201d Bug 6362203 (2005), http:\/\/bugs.sun.com\/bugdatabase\/viewbug.do?bugid=6362203"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise Analysis of String Expressions. In: Static Analysis, 10th International Symposium, San Diego, CA, USA (2003)","DOI":"10.1007\/3-540-44898-5_1"},{"key":"21_CR12","unstructured":"DeLine, R., F\u00e4hndrich, M.: The Fugue Protocol Checker: Is your software Baroque? Technical Report MSR-TR-2004-07, Microsoft Research (2004)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Gould, C., Su, Z., Devanbu, P.: Static Checking of Dynamically Generated Queries in Database Applications. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, pp. 645\u2013654 (2004)","DOI":"10.1109\/ICSE.2004.1317486"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: Grammar-Based Analysis of String Expressions. In: Proceedings of the 2005 ACM SIGPLAN International Workshop on Types in Language Design and Implementation, Long Beach, CA, USA (2005)","DOI":"10.1145\/1040294.1040300"},{"key":"21_CR15","unstructured":"Ernst, S.N.: Static Typing for Dynamic Messages. In: Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages, San Diego, California (1998)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Blume, M.: No-Longer-Foreign: Teaching an ML compiler to speak C \u201cnatively\u201d. In: BABEL 2001: First International Workshop on Multi-Language Infrastructure and Interoperability, Firenze, Italy (2001)","DOI":"10.1016\/S1571-0661(05)80452-9"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Finne, S., Leijen, D., Meijer, E., Jones, S.P.: Calling hell from heaven and heaven from hell. In: Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming, Paris, France, pp. 114\u2013125 (1999)","DOI":"10.1145\/317636.317790"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Fisher, K., Pucella, R., Reppy, J.: A framework for interoperability. In: BABEL 2001: First International Workshop on Multi-Language Infrastructure and Interoperability, Firenze, Italy (2001)","DOI":"10.1016\/S1571-0661(05)80450-5"},{"key":"21_CR19","unstructured":"Huelsbergen, L.: A Portable C Interface for Standard ML of New Jersey (1996), http:\/\/www.smlnj.org\/\/doc\/SMLNJ-C\/smlnj-c.ps"},{"key":"21_CR20","unstructured":"Leroy, X.: The Objective Caml system (2004) Release 3.08, http:\/\/caml.inria.fr\/distrib\/ocaml-3.08\/ocaml-3.08-refman.pdf"},{"key":"21_CR21","unstructured":"Beazley, D.M.:SWIG: An easy to use tool for integrating scripting languages with C and C++. In: USENIX Fourth Annual Tcl\/Tk Workshop (1996)"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Bubba, J.F., Kaplan, A., Wileden, J.C.: The Exu Approach to Safe, Transparent and Lightweight Interoperability. In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Chicago, IL, USA (2001)","DOI":"10.1109\/CMPSAC.2001.960644"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Auerbach, J., Barton, C., Chu-Carroll, M., Raghavachari, M.: Mockingbird: Flexible stub compilation from paris of declarations. In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA (1999)","DOI":"10.1109\/ICDCS.1999.776541"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/274946.274957","volume":"41","author":"D.N. Gray","year":"1998","unstructured":"Gray, D.N., Hotchkiss, J., LaForge, S., Shalit, A., Weinberg, T.: Modern Languages and Microsoft\u2019s Component Object Model. cacm\u00a041, 55\u201365 (1998)","journal-title":"cacm"},{"key":"21_CR25","unstructured":"Hamilton, J.: Interlanguage Object Sharing with SOM. In: Proceedings of the Usenix 1996 Annual Technical Conference, San Diego, California (1996)"},{"key":"21_CR26","unstructured":"Object Management Group: Common Object Request Broker Architecture: Core Specification. Version 3.0.3 edn. (2004)"},{"key":"21_CR27","unstructured":"Barrett, D.J.: Polylingual Systems: An Approach to Seamless Interoperability. PhD thesis, University of Massachusetts Amherst (1998)"},{"key":"21_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/772970.772973","volume":"38","author":"J. Hamilton","year":"2003","unstructured":"Hamilton, J.: Language Integration in the Common Language Runtime. ACM SIGPLAN Notices\u00a038, 19\u201328 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45337-7_9","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"E. Meijer","year":"2001","unstructured":"Meijer, E., Perry, N., van Yzendoorn, A.: Scripting.NET using mondrian. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 150. Springer, Heidelberg (2001)"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Grechanik, M., Batory, D., Perry, D.E.: Design of large-scale polylingual systems. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, pp. 357\u2013366 (2004)","DOI":"10.1109\/ICSE.2004.1317458"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693024_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T13:16:37Z","timestamp":1555506997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693024_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330950","9783540330967"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11693024_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}