Plz help me four this Exercice.
Donner en OCAML la fonction qui implémente la sémantique opérationnelle du langage ci-
dessous.
C::=Skip
| c1;c2
| x:=e avec e in ExpA
| if b then c1 else c2. avec b in ExpB
|while b then c avec b in ExpB
|case x of
v1:c1 ;
v2:c2;
v3:c3 ;
…
vn:cn
else c avec vi des entiers
Partager