Introduction In the framework of the joint research project Apply [ Bretthauer et al., 1992 ] at ISST we are investigating strategies for the compilation of EuLisp modules [ Padget et al., 1993 ] into Sparc assembler or into C code. The main goals of the project are: ffl Compiled EuLisp modules should run as efficient as equivalent C programs. ffl Lisp procedures should be easily callable from C and vice versa. The following implementation decisions were taken: 1. The hardware stack is used instead of an own control stack for Lisp. 2. Lisp datatypes are represented similar to C datatypes in order to avoid incompatibility with hardware datatypes and in order to enable easy data exchange with non-Lisp programs. To reduce the size of objects a BIBOP typing scheme is used for frequently allocated data and a special tagging scheme with a 4 byte tag in front of data otherwise. The memory management system for the

This paper is identical to that one contained in the collection of papers of