Estableció el concepto de lenguajes de programación basados en palabras del lenguaje natural; también desarrolló los primeros compiladores de la historia, el A-0 (Math Matic) y el B-0, y en 1960 presentó su primera versión del lenguaje COBOL (Common Business-Oriented Language).