1. Add these language constructs to Wren and provide their denotational

semantics.

a) repeat-until command

Command ::= ... | repeat Command until Expression

b) conditional expression

Expression ::= ... | if Expression then Expression else Expression

Use your definition to prove the semantic equivalence of

m := if E1 then E2 else E3 and if E1 then m:=E2 else m:=E3.

c) expression with side effects

Expression ::= ... | begin Command return Expression end.

d) case command

Command ::= case IntegerExpr of (when Numeral+ => Command)+

semantics.

a) repeat-until command

Command ::= ... | repeat Command until Expression

b) conditional expression

Expression ::= ... | if Expression then Expression else Expression

Use your definition to prove the semantic equivalence of

m := if E1 then E2 else E3 and if E1 then m:=E2 else m:=E3.

c) expression with side effects

Expression ::= ... | begin Command return Expression end.

d) case command

Command ::= case IntegerExpr of (when Numeral+ => Command)+

### Recently Asked Questions

- On January 1, you started a tutoring business called Brain Worx and charge $30 an hour for tutoring. The following are your transactions for 2017. a. On

- Use induction to show that ï»¿ 1^3 ï»¿ + ï»¿ 2^3 ï»¿ + ... + ï»¿ n^3 ï»¿ = ï»¿ \frac{n^2(n+1)^2}{4} ï»¿ for all integers n â¥ 1.

- Write a proffesional email where u can bring one form of advertisinh that would target people between 18-30. Attached is the full question.