Unformatted text preview: (* to evaluate an addition, evaluate the subexpressions and add *) (* to evaluate a variable, lookup its value in the environment *) val z = (x + y) + (y + 2); (* environment: z>70, y>17, x>34 *) val q = z+1; val abs_of_z = if z < 0 then 0  z else z; val abs_of_z_simpler = abs z...
View
Full
Document
This note was uploaded on 10/12/2009 for the course CSE 341 taught by Professor Staff during the Spring '08 term at University of Washington.
 Spring '08
 Staff

Click to edit the document details