This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Is this rule consistent (with the standard model)? If yes, explain; if not, show that it is not. Is the rule complete? (More precisely: If we replaced the standard ifthenelse rule with this rule, would the resulting system by relatively complete?) If yes, explain; if not, show that it is not. 3. (4 points). Consider the simple imperative language whose (structural) operational semantics we have deﬁned in class. Suppose we change the (intuitive) operational model of the assignment statement as follows: to execute x := e ; , we evaluate the expression e as usual and assign its value to x , and then we output, on the standard output stream, the value just assigned to x . What changes would you make to the operational semantics we saw in class? You do not need to write down all the changes, just explain the idea and illustrate it by writing down a couple of the new rules. 1...
View
Full
Document
This homework help was uploaded on 04/10/2008 for the course CSE 755 taught by Professor Neelamsoundarajan during the Winter '05 term at Ohio State.
 Winter '05
 NeelamSoundarajan

Click to edit the document details