Mercurial > hg > Members > atton > generated_seminar_slides

comparison index.html @ 78:be05064aea7e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 16 Jun 2015 21:29:26 +0900
parents 1ca538319412
children ee5429cf4dfd
comparison
equal deleted inserted replaced
77:1ca538319412 78:be05064aea7e
58 <li>20150324 : <a href="slides/20150324/slide.html">Categorical Formalization of Program Modification</a></li> 58 <li>20150324 : <a href="slides/20150324/slide.html">Categorical Formalization of Program Modification</a></li>
59 <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li> 59 <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li>
60 <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li> 60 <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li>
61 <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li> 61 <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li>
62 <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li> 62 <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
63 <li>20150616 : <a href="slides/20150616/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
63 </ul> 64 </ul>
64 65
65 </body> 66 </body>
66 </html> 67 </html>