2008-08-27 [長年日記]
λ. “Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method” by Kiyoshi Akama, Ekawit Nantajeewarawat, and Hidekatsu Koike
あろは先生を問い詰める会の予習のために読んだ。 昔、「コンパイラ」とfull abstraction - sumiiの日記のコメント欄で Formalization of the Equivalent Transformation Computation Modelという論文を教えてもらって読んだときにはよく分からなかったけど、こっちの論文を読んでちょっと分かってきた気がする。
(後で書く)
[ツッコミを入れる]
