(1922–1990), вчений у царині узагальнених технік програмування і побудови компіляторів, Премія Тюрінга (1966), США
