Make formal semantics easy and useful

We start with a “make easy” approach to popularize formal semantics for software engineers. It is based upon a toy language with “exoteric” operational, denotational and axiomatic semantics. Then we present a realistic and practical operational, denotational and axiomatic semantics for a simple programming language. We hope that our approach will help better education to bridge a cultural gap between Formal Methods theories and Software Engineering practice.