bigstep.ml
bigstep.ml
—
OCaml source code,
1 KB
Dateiinhalt
datatype aexp = Num of int | Var of string | Plus of aexp * aexp | Minus of aexp * aexp | Times of aexp * aexp datatype bexp = True | False | Neg of bexp | Eq of aexp * aexp | Leq of aexp * aexp datatype com = Skip | Ass of string * aexp | Seq of com * com | If of bexp * com * com | While of bexp * com type state = string -> int fun evalAExp (Num n) rho = n | evalAExp (Var x) rho = rho x | evalAExp (Plus(a1, a2)) rho = let val m1 = evalAExp a1 rho val m2 = evalAExp a2 rho in m1 + m2 end
Artikelaktionen