En 1962 inventó y definió el concepto de lenguaje de programación y en 1990 se introdujo el concepto de informatividad ("informativité").