He was one of the founders of denotational semantics, and a pioneer in programming language design.
Er war einer der Begründer der denotationellen Semantik und ein Pionier im Entwurf von Programmiersprachen.