Speaker Deck

次元型に基づくループ不変条件自動生成(Synthesizing Loop Invariants via Dimension Types)

by KINOSHITA Minoru

Published February 15, 2016 in Research

京都大学情報学研究科通信情報システム専攻平成27年度修士論文公聴会で発表

E4a2e149630d63b81292f6e4fddb7a3b?s=47

KINOSHITA Minoru

3 Presentations

Share

Other Presentations by this Speaker

Thumb_slide_0

クロージャについて

Mar 1, 2017 by KINOSHITA Minoru

Thumb_slide_0

Automatic Synthesis of Combiners in the MapReduce Framework -- An Approach with Right Inverse

Sep 11, 2014 by KINOSHITA Minoru

Speaker Details

View Speaker Details