This documentation is based on the knowledge obtainded through implementing CleanJ system. This is not an official document and there are no warranty of the correctness. ABC machine is made of three stack memories (argument stack, basic-value stack and control stack) and one heap memory. argument stack (A-Stack) a stack of pointers to a thunk. basic-value stack (B-Stack) a stack of basic values. B