Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler"

Subject: Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler"
From: Andrei Klimov (klimov@keldysh.ru)
Date: Sat Jun 05 2004 - 01:12:45 MSD

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Sergei Romanenko: "Romanenko.-.Arity.Raiser.and.its.Use.in.Program.Specialization.(1990).djvu"
• Previous message: Sergei Romanenko: "п╖я┌п╬ п╬п╥п╫п╟я┤п╟п╣я┌ п│я│п╦я┘п╦п╨п╬ п╓я┐яп╟п╪я┐я─п"
• In reply to: Sergei Romanenko: "Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler""
• Reply: Andrei Klimov: "Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler""

Добрый день!

From: "Sergei Romanenko" <roman@integrum.ru>
> Доброе время суток!
>
> ----- Original Message -----
> From: "Andrei Klimov" <klimov@keldysh.ru>
>
> > alpha(alpha, int), где alpha -- "partial evaluation algorithm".
>
> Да, интересно что до alpha(alpha, alpha) Футамура додумался только в 1973
> году,

Но ведь все равно раньше всех!

> в отчете
>
> Futamura,Y. EL1 Partial Evaluator (Progress Report). Center for Research in
> Computing Technology, Harvard University, January 1973.
>
> который сейчас доступен в электронной форме...

Речь идет о домашней странице Футамуры
http://www.futamura.info.waseda.ac.jp/~futamura/
Ссылки на исторические файлы находятся в ее конце:

    Futamura's Personal PE Museum

    24 Aug. 1969: Source Program and Results of Test Runs of Self Applicable PE
    (PDF10MB This is a very large PDF file.) and Supporting Documentation (PDF2MB).

    4 Nov. 1971: Draft of unpublished paper written with John K. Dixon (PDF2.7MB).

    24 Jan. 1973: EL1 PARTIAL EVALUATOR Progress Report submitted to
    Dr. Ben Wegbreit at Harvard (PDF700KB).

    19 Jan. 1978: A Letter from A.P. Ershov (PDF88KB).

Андрей.

> Этот отчет цитируется в
>
> Partial Evaluation of Computation Process, Revisited
> http://www.brics.dk/~hosc/local/HOSC-12-4-pp377-380.pdf
>
> А сам отчет я Андрею показывал некоторое время назад...
>
> Мне более или менее понятно, почему Ерошов, написавши alpha(int,prog) не
> догадался написать alpha(alpha, int). Обозначения у него были такие, что
> выразить alpha(alpha, int) было бы непросто. Но почему Футамура, написав
> alpha(alpha, int), и именно в таком кратком виде, сразу же не написал в
> следующей строчке alpha(alpha, alpha)? Значит, был к этому психологический
> (а не технический) барьер...
>
> Сергей Романенко

• Next message: Sergei Romanenko: "Romanenko.-.Arity.Raiser.and.its.Use.in.Program.Specialization.(1990).djvu"
• Previous message: Sergei Romanenko: "п╖я┌п╬ п╬п╥п╫п╟я┤п╟п╣я┌ п│я│п╦я┘п╦п╨п╬ п╓я┐яп╟п╪я┐я─п"
• In reply to: Sergei Romanenko: "Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler""
• Reply: Andrei Klimov: "Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler""

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD