Polymorphic type inference for the JNI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3924 LNCS, Issue , 2006, Pages 309-324

  Furr, Michael ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIELD NAMES; JAVA NATIVE INTERFACE (JNI); STRING CONSTANTS; STRING VARIABLES; DEPENDENT TYPES; FUNCTION CALLS; INFERENCE SYSTEMS; JAVA NATIVE INTERFACES; POLYMORPHIC TYPES; PROGRAMMING PRACTICES; TYPE INFERENCES; USER DEFINED FUNCTIONS;

ACCIDENT PREVENTION; BENCHMARKING; COMPUTER SOFTWARE; CONSTRAINT THEORY; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; ERROR DETECTION; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; PARAMETER ESTIMATION; TRACKING (POSITION);

INFERENCE ENGINES; JAVA PROGRAMMING LANGUAGE;

EID: 33745782092     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693024_21     Document Type: Conference Paper

References (30)

1. Rehof, J., FÄhndrich, 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)
2. FÄhndrich, 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)
3. Henglein, F.: Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems 15 (1993) 253-289
4. 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 (2005) 62-72
5. Liang, S.: The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley (1999)
6. Furr, M., Foster, J.S.: Polymorphic Type Inference for the JNI. Technical Report CS-TR-4759, University of Maryland, Computer Science Department (2005)
7. 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)
8. Cannasse, N.: (Ocaml javalib) http://team.motion-twin.com/ncannasse/ javaLib/.
9. Java-Gnome Developers: (Java bindings for the gnome and gtk libraries) http://java-gnome.sourceforge.net.
10. Furr, M., Foster, J.S.: Java SE 6 "Mustang" Bug 6362203 2005) http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6362203.
11. Christensen, A.S., Møller, A., Schwartzbach, M.I.: Precise Analysis of String Expressions. In: Static Analysis, 10th International Symposium, San Diego, CA, USA (2003)
12. DeLine, R., FÄhndrich, M.: The Fugue Protocol Checker: Is your software Baroque? Technical Report MSR-TR-2004-07, Microsoft Research (2004)
13. 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 (2004) 645-654
14. 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)
15. 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)
16. Blume, M.: No-Longer-Foreign: Teaching an ML compiler to speak C "natively". In: BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability, Firenze, Italy (2001)
17. 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 (1999) 114-125
18. Fisher, K., Pucella, R., Reppy, J.: A framework for interoperability. In: BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability, Firenze, Italy (2001)
19. Huelsbergen, L.: A Portable C Interface for Standard ML of New Jersey. http://www.smlnj.org//doc/SMLNJ-C/smlnj-c.ps (1996)
20. Leroy, X.: The Objective Caml system (2004) Release 3.08, http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08-refman.pdf.
21. 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)
22. 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)
23. 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)
24. Gray, D.N., Hotchkiss, J., LaForge, S., Shalit, A., Weinberg, T.: Modern Languages and Microsoft's Component Object Model, cacm 41 (1998) 55-65
25. Hamilton, J.: Interlanguage Object Sharing with SOM. In: Proceedings of the Usenix 1996 Annual Technical Conference, San Diego, California (1996)
26. Object Management Group: Common Object Request Broker Architecture: Core Specification. Version 3.0.3 edn. (2004)
27. Barrett, D.J.: Polylingual Systems: An Approach to Seamless Interoperability. PhD thesis, University of Massachusetts Amherst (1998)
28. Hamilton, J.: Language Integration in the Common Language Runtime. ACM SIGPLAN Notices 38 (2003) 19-28
29. Meijer, E., Perry, N., van Yzendoorn, A.: Scripting .NET using Mondrian. In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary (2001)
30. 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 (2004) 357-366