Mercurial > hg > Members > atton > seminar_slides

comparison slides/20160510/slide.md @ 143:d50b8510fbdd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regenerate slides
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 10 May 2016 18:16:39 +0900
parents bc0c33dbfe69
children
comparison
equal deleted inserted replaced
142:bc0c33dbfe69 143:d50b8510fbdd
44 * Meta computations represented to meta code segment and meta data segment, which saves main computations. 44 * Meta computations represented to meta code segment and meta data segment, which saves main computations.
45 * In this paper, We define a meta computation which connects code segments with verifications and verify properties of data structures such as Red-Black Tree and Synchironized Queue. 45 * In this paper, We define a meta computation which connects code segments with verifications and verify properties of data structures such as Red-Black Tree and Synchironized Queue.
46 46
47 # 論文作成に向けて今後やることリスト 47 # 論文作成に向けて今後やることリスト
48 * 論文提出締切: 2016/07/08 48 * 論文提出締切: 2016/07/08
49 * 仮に書いている function を全部 cs に 49 * 仮に書いている function を全部 cs に変換する
50 * synchronized queue の検証 50 * synchronized queue の検証
51 * bounded/unbounded 51 * bounded/unbounded
52 52
53 <!-- vim: set filetype=markdown.slide: --> 53 <!-- vim: set filetype=markdown.slide: -->