Joseph Yehuda Halpern

• Axiomatic definitions of programming languages and logics of programs