5.2 While statements

Question 1

What is a while statement (and grammar)

Answer 1

Question 2

What is the set of semantic configurations for the while language

Answer 2

Question 3

What are the semantic inference rules for the while language

Answer 3

Question 4

What is syntactic sugar and how can we use it for writing While programs cleanly

Answer 4

We’ll tend to introduce such abbreviations with an
symbol, which we’ll use regardless of the object we’re defining an abbreviation for (arithmetic or boolean expression, or statement).