This preview shows page 1. Sign up to view the full content.
Unformatted text preview: do c while b end where c Com and b Bexp . The inFormal specifcation oF this command is that c is executed as long as b remains true . Provide a set oF semantic rules that defne the behavior oF this construct Formally and demonstrate that your rules work with a simple example. 6. Let : Loc I be some state , show that [2 /x ] = ( [1 /x ])[2 /x ] For some x Loc . ( Hint: use extensional equality oF Functions. 1 ) Where not stated explicitly otherwise, show your computations based on the semantics rules covered in class. 2 1 http://en.wikipedia.org/wiki/Extensionality 2 Typewritten work is preferred :) 1...
View Full Document
This note was uploaded on 10/03/2011 for the course CSC 501 taught by Professor Staff during the Spring '09 term at Rhode Island.
- Spring '09