Online Type-Directed Partial Evaluation for Dynamically-Typed Languages

99/03/20


Click here to start


Table of Contents

Online Type-Directed Partial Evaluation for Dynamically-Typed Languages

Partial Evaluation

Type-Directed PE

Type-Directed PE

従来の TDPE の問題点

我々の貢献

発表の概要

Danvy の TDPE: Reification

Danvy の TDPE: Reification の例 (1)

Danvy の TDPE: Reification の例 (2)

Danvy の TDPE: Reification の一般的な定義

Danvy の TDPE: 問題点

我々の TDPE： Basic Idea (1)

我々の TDPE： Basic Idea (2)

我々の TDPE： 全体像

我々の TDPE： 全体像

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 例

我々の TDPE： 効率の比較

比較実験： 特化にかかる時間

比較実験： 実行にかかる時間

発表の概要

SDPE との関係: 全体像

SDPE との関係: HOAS

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS を用いた SDPE

SDPE との関係: HOAS から FOAS への変換

SDPE との関係: まとめ

発表の概要

関連研究

結論

 Author :Eijiro Sumii

Email : sumii@is.s.u-tokyo.ac.jp

Home Page : http://www.is.s.u-tokyo.ac.jp/~sumii/pub/

Download presentation source