Report - pp.ipd.kit.edu · Elementary blocks A statement consists of a set of elementary blocks blocks : Stmt → P(Blocks) blocks([x := a]!)={[x := a]!} blocks([skip]!)={[skip]!} blocks(S1;S2

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form