Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/summary.tex @ 81:3f63f697ed3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 08 Feb 2017 17:37:08 +0900
parents 73da47f32888
children c0199291c58e
comparison
equal deleted inserted replaced
80:73da47f32888 81:3f63f697ed3a
21 本論文では部分型の定義を CbC に適用した。 21 本論文では部分型の定義を CbC に適用した。
22 CodeSegment は関数呼び出しを末尾でしか許さない制限があるので、関数型の計算規則をより制限できるはずである。 22 CodeSegment は関数呼び出しを末尾でしか許さない制限があるので、関数型の計算規則をより制限できるはずである。
23 その制約の元に生まれた計算体系の持つ性質や表現能力に興味がある。 23 その制約の元に生まれた計算体系の持つ性質や表現能力に興味がある。
24 24
25 また、提案した型システムを CbC コンパイラの内部に組み込み、CodeSegment と DataSegment の型チェックを行なえるようにしたい。 25 また、提案した型システムを CbC コンパイラの内部に組み込み、CodeSegment と DataSegment の型チェックを行なえるようにしたい。
26 加えて部分型を組み込むことにより、stub の自動生成をする。 26 加えて部分型を組み込むことにより、stub の自動生成ができる。
27 さらに依存型を加えれば CbC で CbC 自身を証明できるようになる。 27 さらに依存型を加えれば CbC で CbC 自身を証明できるようになる。
28 28
29 モデル検査的アプローチの展望としては、依存型を CbC コンパイラに実装し、型情報を用いた記号実行や状態の列挙を行なうシステムの構築などがある。 29 モデル検査的アプローチの展望としては、依存型を CbC コンパイラに実装し、型情報を用いた記号実行や状態の列挙を行なうシステムの構築などがある。
30 30
31 また、型システムの拡張としては総称型などを CbC に適用することも挙げられる。 31 また、型システムの拡張としては総称型などを CbC に適用することも挙げられる。