The Church Instructions for CLOOMC

CLOOMC Instructions: Load and unlock a Capability context register: := | | (3 types of immutable Capability) Load Program Capability control register: := λ (Execute type) . (run a machine code function) Enter Call: λ (Enter Function) := Change Thread: λ (Enter Thread) := Change Namespace: λ (Enter Namespace) := Direct Binary Inctruction: Binary instructions (x +|-|*|/|others RISC functions): Data register= f(RISC).(First Data register).(Second Data Register) Store Mode Instructions Read:(Data Register):=.offset Save:.offset := (Data Register)