Okugawa’s Master Thesis and Tanabe&Izawa’s Bachelor Theses

Ryo Okugawa presented his Master’s thesis.

  • 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)

Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.

  • プログラミング言語へのバージョンの導入の研究 (Tanabe)
  • メタ混合JITコンパイラの提案 (伊澤)
2018-02-10.
→
←