Checking type safety of foreign function calls

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 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

FOREIGN FUNCTION CALLS; FOREIGN FUNCTION INTERFACE; MULTI-LINGUAL TYPE SYSTEM;

BENCHMARKING; C (PROGRAMMING LANGUAGE); DATA ACQUISITION; DATA STORAGE EQUIPMENT; ENCODING (SYMBOLS); REFUSE COLLECTION;

INTERFACES (COMPUTER);

EID: 31844432509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. ANSI. Programming languages - C, 1999. ISO/IEC 9899:1999.
2. ANSI. Programming languages - C, 1999. ISO/IEC 9899:1999.
3. D. M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++,.
4. 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.
5. 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.
6. S. Chandra and T. W. Reps. Physical Type Checking for C. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 66-75, Toulouse, France, Sept. 1999.
7. 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.
8. R. DeLine and M. Fähndrich. The Fugue Protocol Checker: Is your software Baroque? Technical Report MSR-TR-2004-07, Microsoft Research, Jan. 2004.
9. 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.
10. K. Fisher, R. Pucella, and J. Reppy. A framework for interoperability. In Benton and Kennedy [3]. http://www.elsevier.nl/locate/entcs/volume59.html.
11. 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.
12. 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.
13. 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.
14. J. Hamilton. Interlanguage Object Sharing with SOM. In Proceedings of the Usenix 1996 Annual Technical Conference, San Diego, California, Jan. 1996.
15. J. Hamilton. Language Integration in the Common Language Runtime. ACM SIGPLAN Notices, 38(2): 19-28, Feb. 2003.
16. L. Huelsbergen. A Portable C Interface for Standard ML of New Jersey, http://www.smlnj.org//doc/SMLNJ-C/smlnj-c.ps, 1996.
17. X. Leroy. The Objective Caml system, Aug. 2004. Release 3.08, http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3. 08-refman.pdf.
18. S. Liang. The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley, 1999.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.