Han er best kjent for sin arbeid med programmeringsspråk, kompilatorer og beslektede algoritmer og for sine lærebøker om kunsten og vitenskapen innen programmering.