天泣記

2021-06-30 (Wed)

#1 エスケープ解析の論文を読んだ
Goldberg, Benjamin, and Young Gil Park.
"Higher order escape analysis:
optimizing stack allocation in functional program implementations."
European Symposium on Programming. Springer, Berlin, Heidelberg, 1990.

最初、e1 -> e2, e3 という構文がなんなのかわかんなくて悩んだのだが、 if e1 then e2 else e3 という意味だった

Park, Young Gil, and Benjamin Goldberg.
"Escape analysis on lists."
Proceedings of the ACM SIGPLAN 1992 conference on
Programming language design and implementation. 1992.

なお、後続の (リストを扱えるという) こっちの論文では if e1 then e2 else e3 となっていた


[latest]


田中哲