Checking type safety of foreign function calls

ACM SIGPLAN Notices

Volumn 40, Issue 6, 2005, Pages 62-72

  Furr, Michael ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Dataflow analysis; FFI; Flow sensitive type system; Foreign function calls; Foreign function interface; Multi lingual type inference; Multi lingual type system; OCaml; Representational type

Indexed keywords

FLOW-SENSITIVE TYPE SYSTEM; FOREIGN FUNCTION CALLS; FOREIGN FUNCTION INTERFACE (FFI); MULTI-LINGUAL TYPE INFERENCE; MULTI-LINGUAL TYPE SYSTEM; OCAML; REPRESENTATIONAL TYPE;

COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; DATABASE SYSTEMS; INFERENCE ENGINES; INFORMATION TECHNOLOGY; INTERFACES (COMPUTER); SYSTEMS ANALYSIS;

COMPUTER PROGRAMMING;

EID: 33745276250     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1064978.1065019     Document Type: Article

References (22)

1. ANSI. Programming languages - C, 1999. ISO/IEC 9899:1999.
2. D. M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++,.
3. 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.
4. M. Blume. No-Longer-Foreign: Teaching an ML compiler to speak C "natively". In Benton and Kennedy [3]. http://www.elsevier. nl/locate/entcs/volume59.html.
5. S. Chandra and T. W. Reps. Physical Type Checking for C. In Proceedings of the. ACM SICPLAN/SICSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 66-75, Toulouse, France, Sept. 1999.
6. A. S. Christensen, A. Møller, 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.
7. R. DeLine and M. Fähndrich. The Fugue Protocol Checker: Is your software Baroque? Technical Report MSR-TR-2004-07, Microsoft Research, Jan. 2004.
8. S. Finne, D. Leijen, E. Meijer, and S. P. Jones. Calling hell from heaven and heaven from hell. In Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming, pages 114-125, Paris, France, Sept. 1999.
9. K. Fisher, R. Pucella, and J. Reppy. A framework for interoperability. In Benton and Kennedy [3]. http://www.elsevier.nl/locate/ entcs/volume59.html.
10. M. Furr and J. S. Foster. Checking Type Safety of Foreign Function Calls. Technical Report CS-TR-4627, University of Maryland, Computer Science Department, Nov. 2004.
11. C. Gould, Z. Su, and P. Devanbu. Static Checking of Dynamically Generated Queries in Database Applications. In Proceedings of the 26th International Conference on Software Engineering, pages 645-654, Edinburgh, Scotland, UK, May 2004.
12. D. N. Gray, J. Hotchkiss, S. LaForge, A. Shalit, and T. Weinberg. Modern Languages and Microsoft's Component Object Model. Communications of the ACM, 41(5):55-65, May 1998.
13. J. Hamilton. Interlanguage Object Sharing with SOM. In Proceedings of the Usenix 1996 Annual Technical Conference, San Diego, California, Jan. 1996.
14. J. Hamilton. Language Integration in the Common Language Runtime. ACM SIGPLAN Notices, 38(2): 19-28, Feb. 2003.
15. L. Huelsbergen. A Portable C Interface for Standard ML of New Jersey, http://www.smlnj.org//doc/SMLNJ-C/smlnj-c.ps, 1996.
16. X. Leroy. The Objective Caml system, Aug. 2004. Release 3.08, http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08-refman.pdf.
17. S. Liang. The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley, 1999.
18. 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.
19. G. Necula, S. McPeak, and W. Weimer. CCured: Type-Safe Retrofitting of Legacy Code. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 128-139, Portland, Oregon, Jan. 2002.
20. 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.
21. D. Rémy. Typechecking records and variants in a natural extension of ML. In Proceedings of the 16th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 77-88, Austin, Texas, Jan. 1989.
22. 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.