Él diseñó un lenguaje para el cual fuese fácil escribir un compilador para un nuevo tipo de computadora.