Report - 2.imp. Sprachen 1 - uni-ulm.de€¦ · code (x := y) ρ = def code L x ρ; code R y ρ; sto T wobei code L x ρ = def ldc a ρ(x) code R y ρ = def ldc T y, falls y Konstante vom

Please pass captcha verification before submit form