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

E4a2e149630d63b81292f6e4fddb7a3b?s=47 KINOSHITA Minoru
February 15, 2016
Research
0
85

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

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

E4a2e149630d63b81292f6e4fddb7a3b?s=128

KINOSHITA Minoru

February 15, 2016
Tweet

Want more?

E4a2e149630d63b81292f6e4fddb7a3b?s=48 Mar 1, 2017
0
580
Dafc4723e9a1c067796c0fec6f509774?s=48 Jun 7, 2018
19
1.8k
F383c6a4dc55e331bbe2987b622cee6b?s=48 Jun 8, 2018
9
1.5k