A framework for interoperability

Electronic Notes in Theoretical Computer Science

Volumn 59, Issue 1, 2001, Pages 3-19

  Fisher, Kathleen ^a   Pucella, Riccardo ^b   Reppy, John ^c  

^a AT AND T LABS RESEARCH   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^c LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; MARSHAL DATA; NETWORK PACKET HEADERS; USER ANNOTATIONS;

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; DATA REDUCTION; DATA STRUCTURES; HIGH LEVEL LANGUAGES; INTERFACES (COMPUTER); LIBRARIES; MACHINE ORIENTED LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SYSTEMS ANALYSIS;

INTEROPERABILITY;

EID: 18944403306     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80450-5     Document Type: Conference Paper

References (16)

1. Blume M. No-longer-foreign: Teaching an ML compiler to speak C "natively" BABEL'01. September 2001;. To appear.
2. Burton F. Type extension through polymorphism. TOPLAS. 12:(1):January 1990;135-138
3. Chakravarty M.M.T., Haskell C→. or yet another interfacing tool. IFL'99, vol. of LNCS. 1868;Springer-Verlag. September 1999
4. Finne S., Leijen D., Meijer E., Jones S.Peyton. H/Direct: A binary foreign language interface for Haskell. ICFP'98. September 1998;153-162
5. Fisher K., Reppy J. The design of a class mechanism for Moby. PLDP99. May 1999;37-49
6. George L., Guillame F., Reppy J.H. A portable and optimizing back end for the SML/NJ compiler. CC'94. April 1994;83-97
7. The Glasgow Haskell Compiler User's Guide. version 5.00 edition. January 2001
8. Gansner E.R., Reppy J.H. The Standard ML Basis Library. 2001;Cambridge University Press, Cambridge, England. To appear
9. Gudgin M. Essential IDL. 2001;Addison-Wesley, Reading, MA
10. Leroy X. CamlIDL user's manual. March 1999;. Available from http://caml.inria.fr/camlidl/
11. Leroy X. The Objective Caml System (release 3.00). April 2000;. Available from http://caml.inria.fr
12. Liang S. The Java Native Interface. 1999;Addison-Wesley, Reading, MA
13. Leijen D., Meijer E. Domain specific embedded compilers. Proceedings of the Second Conference on Domain-Specific Languages (DSL'99). 1999;109-122
14. Pucella R., Reppy J.H. An abstract IDL mapping for Standard ML. 2000
15. Reppy J.H. A safe interface to sockets. Technical memorandum, AT&T Bell Laboratories. 1996
16. Smith F., Morrisett G. Mostly-copying collection: A viable alternative to conservative mark-sweep. Technical Report TR 97-1644-, Department of Computer Science, Cornell University. August 1997