Three Poster Presentations at the PPL 2018 Workshop

Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop.

  • “Proposal of a meta-hybrid JIT compiler (メタ混合JITコンパイラの提案)” by Izawa, Masuhara and Aotani

  • “Introducing versions into a programming language (プログラミング言語へのバージョンの導入の研究)” by Tanabe, Aotani and Masuhara

  • “Extensible formalization of type-safety based on an operational semantics (証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究)” by Okugawa, Aotani and Masuhara

The workshop is titled the 20th JSSST workshop on Programming and Programming Languages (PPL), and was held at Kaike Onsen, Tottori, from March 3rd until 5th.
2018-03-31.
→
←