Since the C language is a machine independent low-level language, it is well-suited as a portable target language for the implementation of higher-order programming languages. This paper presents an efficient C code generator for Caml-Light, a variant of CAML designed at INRIA. Fundamentally, the compilation technique consists of translating ML code via an intermediate language named Sqil and the runtime system relies on a new conservative garbage collector. This scheme produces at the same time excellent performance and good portability.

The Embeddable Common Lisp is an implementation of Common Lisp designed for being embeddable within C based applications. ECL uses standard C calling conventions for Lisp compiled functions, which allows C programs to easily call Lisp functions and viceversa. No foreign function interface is required: data can be exchanged between C and Lisp with no need for conversion. ECL is based on a Common Runtime Support (CRS) which provides basic facilities for memory management, dynamic loading and dumping of binary images, support for multiple threads of execution. The CRS is built into a library that can be linked with the code of the application. ECL is modular: main modules are the program development tools (top level, debugger, trace, stepper), the compiler, and CLOS. A native implementation of CLOS is available in ECL: one can configure ECL with or without CLOS. A runtime version of ECL can be built with just the modules which are required by the application. 1 Introduction As applicatio...

87. [13] Steven Burns and Alain J Martin. Synthesis of self-timed circuits by program transformation. Technical Report 5253:TR:87, California Institute of Technology, 1987. [14] Juanito Camilleri. An operational semantics for occam. Technical Report No. 125, Computer Laboratory, University of Cambridge, February 1988. [15] T. M. Carter. Assassin: An assembly, specification and analysis system for speedindependent control-unit design in integrated circuits using path-programmable logic (PPL). Master's thesis, University of Utah, June 1982. [16] Thomas J. Chaney and Charles E. Molnar. Anomalous behavior of synchronizer and arbiter circuits. IEEE Transactions on Computers, C-22(4):421--422, April 1973. [17] Tam-Anh Chu. Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. PhD thesis, MIT, 1987. [18] Becky Jane Clark. A design for a micromodular self-timed system. Master's thesis, University of Utah, 1972. [19] Wesley A. Clark. M