Punti fissi
| Ifthenelse of expr * com list * com list
| While of expr * com list
val sem : expr -> env -> store -> eval =
val semcl : com list -> env -> store -> store =
C(while(E, C1)) = _______ (mf. __’_ if E(E) ___’ then f( C(C1) ___’ ) else _’) s
# let rec semc c rho sigma = match c with
let functional ((fi: store -> store)) = function s ->
if sem e rho s = Bool(true) then fi(semcl cl rho s) else s in
let rec ssfix = function x -> functional ssfix x in ssfix(sigma)
val semc : com -> env -> store -> store =