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
������ ����!
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)? ������, ��� � ����� ���������������
> (� �� �����������) ������...
>
> ������ ���������
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD