We'll try to answer question like: How to describe meanings of programs? How to describe properties of programs? How to reason about programs? How to tell if two programs have the same behaviors or not? How to design a new language? Formal Semantics of Prog.Lang 09/07/2018 Formal Semantics of Prog. Lang. 09/07/2018 We’ll try to answer question like: • How to describe meanings of programs? • How to describe properties of programs? • How to reason about programs? • How to tell if two programs have the same behaviors or not? • How to design a new language?