An SECD is a virtual machine designed primarily for running compiled code from functional languages. It consists of four stacks: the

tack, holding the 'values' of the executed code,

nvironment, containing values of the current scope,

ontrol, containing instructions to the machine, and

ump stack, used for temporary storage.

The compiled code or instruction set, on the other hand, is relatively simple. For brevity, I won't state them here, nor expand on the SECD definition, but feel free to check the references below:

This implementation has two interactive parts, the "code editor", for a lisp-like language, and the "machine", which executes the compiled code.

To glue those two parts together, I split my program into three sections:

my code into an AST,

the AST into the SECD instruction set, then

it on the VM.