結論
TDPE の改良を提案
広く適用できる
単純で効率が良い
改良された TDPE と SDPE の関係を明確化
? TDPE と SDPE の技術を融合できる
今後の課題
PE の停止性の保証
副作用を複雑に用いたプログラムの特化
例: コードや計算の重複や消滅がなく、任意の副作用について健全な SDPE[Lawall & Thiemann 97]
Previous slide
Back to first slide
View graphic version