Application-specific foreign-interface generation

Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE'06

Volumn , Issue , 2006, Pages 49-58

  Reppy, John ^a   Song, Chunyan ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

Foreign interface generation; Term rewriting

Indexed keywords

FOREIGN INTERFACE GENERATION; GENERATION TOOLS; SCRIPTING LANGUAGE; TERM REWRITING;

C (PROGRAMMING LANGUAGE); INTEROPERABILITY; KNOWLEDGE REPRESENTATION; SOFTWARE ENGINEERING;

INTERFACES (COMPUTER);

EID: 34547405725     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1173706.1173714     Document Type: Conference Paper

References (18)

1. Aitken, W. E. and J. H. Reppy. Abstract value constructors: Symbolic constants for Standard ML. Technical Report TR 92-1290, Dept. of CS, Cornell University, June 1992. A shorter version appears in the proceedings of the "ACM SIGPLAN Workshop on ML and its Applications," 1992.
2. Beazley, D. M. SWIG: An easy to use tool for integrating scripting languages with C and C++. In TCL'96, July 1996.
3. Beazley, D. SWIG-1.3 Documentation, December 2004. Available from www.swig.org.
4. Blume, M. No-longer-foreign: Teaching an ML compiler to speak C "natively". In N. Benton and A. Kennedy (eds.), BABEL'01, vol. 59 of ENTCS, New York, NY, September 2001. Elsevier Science Publishers. Available from http://www.elsevier.nl/locate/entes/volume59.html.
5. Chakravarty, M. M. T., S. Finne, F Henderson, M. Kowalczyk, D. Leijen, S. Marlow, E. Meijer, S. Panne, S. Peyton Jones, A. Reid, M. Wallace, and M. Weber. The Haskell 98 Foreign Function Interface 1.0, 2003. Available from http ://www.cse.unsw.edu. au/~chak/haskell/ffi/.
6. Chakravarty, M. M. T. C → Haskell, or yet another interfacing tool. In IFL'99, vol. 1868 of LNCS, New York, NY 1868 1999. Springer-Verlag.
7. Furr, M. and J. S. Foster. Checking type safety of foreign function calls. In PLDTOS, New York, NY, June 2005. ACM, pp. 62-72.
8. Finne, S., D. Leijen, E. Meijer, and S. Peyton Jones. H/Direct: A binary foreign language interface for Haskell. In ICFP'98, September 1999, pp. 153-162.
9. Fisher, K., R. Pucella, and J. Reppy. Data-level interoperability. Technical report, Bell Labs, Lucent Technologies, April 2000. Available from http://moby.es.uchicago.edu.
10. Fisher, K., R. Pucella, and J. Reppy. A framework for interoperability. In N. Benton and A. Kennedy (eds.), BABEL'Ol, vol. 59 of ENTCS, New York, NY September 2001. Elsevier Science Publishers. Available from http://www.elsevier.nl/locate/entcs/volume59.html.
11. Fisher, K. and J. Reppy. The design of a class mechanism for Moby. In PLDI'99, New York, NY, May 1999. ACM, pp. 37-49.
12. Hansen, L. T. FFIGEN User's Manual, February 1996. Available from www.ces.neu.edu/home/lth/ffigen/.
13. Huelsbergen, L. A portable C interface for Standard ML of New Jersey. Technical report, Bell Laboratories, November 1995. Available from http://www.es.bell-labs.com/who/lorenz/papers/smlnj-c.pdf.
14. Liang, S. The Java Native Interface. Addison-Wesley, Reading, MA, 1999.
15. OpenGL Architecture Review Board. The OpenGL Graphics System: A Specification (Version 1.5), 2004.
16. Team, T. G. C. The Green Card User's Guide. Available from www.haskell.org/greencard.
17. Visser, E. and Z. el Abidine Benaissa. A core language for rewriting. In WRLA'98, vol. 15 of ENTCS, New York, NY September 1998. Elsevier Science Publishers.
18. Visser, E. A survey of rewriting strategies in program transformation systems. In WRS'01, vol. 57 of ENTCS, New York, NY, May 2001. Elsevier Science Publishers.