Mercurial > hg > Papers > 2015 > kaito-lola

comparison presentation/presen.html @ 17:889696aa5018

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Sun, 05 Jul 2015 00:11:01 +0900
parents c3d20ec1ec4b
children 9a7f5687e33e
comparison
equal deleted inserted replaced
16:c3d20ec1ec4b 17:889696aa5018
52 52
53 <div class='slide cover'> 53 <div class='slide cover'>
54 <table width="90%" height="90%" border="0" align="center"> 54 <table width="90%" height="90%" border="0" align="center">
55 <tr> 55 <tr>
56 <td><div align="center"> 56 <td><div align="center">
57 <h1><font color="#808db5">Implementating Continuation based language in Clang and LLVM</font></h1> 57 <h1><font color="#808db5">Implementing Continuation based language in Clang and LLVM</font></h1>
58 </div></td> 58 </div></td>
59 </tr> 59 </tr>
60 <tr> 60 <tr>
61 <td><div align="left"> 61 <td><div align="left">
62 Kaito Tokumori, Shinji Kono <br> 62 Kaito Tokumori, Shinji Kono <br>
564 </div> 564 </div>
565 565
566 <div class='slide'> 566 <div class='slide'>
567 <h2>Usage of CbC : Model checking</h2> 567 <h2>Usage of CbC : Model checking</h2>
568 <ul> 568 <ul>
569 <li>call meta code segment during goto
570 <li>try all possible non deterministic computation 569 <li>try all possible non deterministic computation
571 <li>keep track data segment state 570 <li>keep track data segment state
572 <li>Do the model checking without modifying the code 571 <li>Do the model checking without modifying the code
573 <li>cf. Java Pathfinder (Model checking by replacing JVM) 572 <li>cf. Java Pathfinder (Model checking by replacing JVM)
574 </ul> 573 </ul>