You have a machine that can execute Alpha machine code and the following programs:

$1$: A compiler from C to Alpha machine code written in Alpha machine code.

$2$: An interpreter for ML written in C$.$

$3$: A compiler from ML to C written in ML$.$

Now do the following:

EXERCISES $289$

a$)$ Describe the above programs and machine as diagrams.

b$)$ Show how a compiler from ML to C written in Alpha machine code can be generated from the above components. The generated program must be stand$-$alone, i$.$e$.,$ it may not consist of an interpreter and an interpreted pro$-$ gram.

c$)$ Show how the compiler generated in question b can be used in a process that compiles ML programs to Alpha machine code.