Mercurial > hg > Members > atton > generated_seminar_slides

comparison index.html @ 77:1ca538319412

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, 19 May 2015 19:57:20 +0900
parents 1211e97e1569
children be05064aea7e
comparison
equal deleted inserted replaced
76:1211e97e1569 77:1ca538319412
57 <li>20150320 : <a href="slides/20150320/slide.html">Categorical Formalization of Program Modification</a></li> 57 <li>20150320 : <a href="slides/20150320/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> 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 </ul> 63 </ul>
63 64
64 </body> 65 </body>
65 </html> 66 </html>