Hiqu Blocks
1
Transcript of Hiqu Blocks
8/15/2019 Hiqu Blocks
http://slidepdf.com/reader/full/hiqu-blocks 1/1
8/15/2019 Hiqu Blocks
http://slidepdf.com/reader/full/hiqu-blocks 1/1
![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](https://static.fdocuments.net/doc/165x107/5e812e885fca162f91121c3f/ppipdkitedu-elementary-blocks-a-statement-consists-of-a-set-of-elementary-blocks.jpg)
