(* ESEMPIO: CALCOLO DEL MCD *)
(* SINTASSI C 
   {
     int x;
	 int y;
	 x = A;
	 y = B;
	 while (x != y)
	   if (x<y) y = y-x; else x = x-y;
	 RISULTATO = x;
	}

*)

(* Rappresentazione del programma come valore del tipo prog di CAML *)
let mcd = 
Prog([Var("x");Var("y")], 
[Assign("x", Ide "A");
 Assign("y", Ide "B"); 
 While(BinExp(Ide "x", Neq, Ide "y"), 
       If_then_else(BinExp(Ide "x", Lt, Ide "y"), 
	                Assign("y", BinExp(Ide "y", Sub, Ide "x")),
					Assign("x", BinExp(Ide "x", Sub, Ide "y"))));
 Assign("RISULTATO", Ide "x")]);;

(* SEMANTICA DI UN PROGRAMMA CON STATO INIZIALE *)
let semprog2 p a m = match p with
      Prog(dl,cl) ->  semc (Block(dl,cl)) a m;;

(* stato iniziale con variabili A, B e RISULTATO *)
let (a1,m1) = semdl [Var_init("A",Num 12); Var_init("B", Num 9); Var("RISULTATO")] 
                     (omega::[]) (omega::[]);;

(* Esecuzione del programma mcd a partire dallo stato iniziale (a1,m1) *)
let m_ris = semprog2 mcd a1 m1;;

(* Verifica dei valori delle variabili A, B, RISULTATO *)
semexp (Ide "A") a1 m_ris;;
semexp (Ide "B") a1 m_ris;;
semexp (Ide "RISULTATO") a1 m_ris;;