Henry John Pasko

• A pseudo-machine for code generation