Subject: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler"
From: Andrei Klimov (klimov@keldysh.ru)
Date: Wed Jun 02 2004 - 21:25:41 MSD
Добрый день!
Хочу поделиться радостным "библиографическим открытием".
Как известно, историю частичных вычислений как научного
направления принято отсчитывать от статьи Футамуры 1971 года:
Yoshihiko Futamura, Partial Evaluation of Computation Process --
an Approach to a Compiler-Compiler, "Systems.Computers.Controls",
Volume 2, Number 5, 1971, pages 45-50.
В ней были впервые выписаны две "проекции Футамуры", вторая
из которых описывает генерацию компилятора по интерпретатору:
alfa(alfa, int), где alfa -- "partial evaluation algorithm".
К сожалению, многие годы эта статья была практически недоступна.
(В стародавние времена, А.П.Ершов ссылался на нее словами:
"Интересная, судя по названию, статья.":-)
И вот 1999 году она была переиздана в журнале
Higher-Order and Symbolic Computation, 12 (4): 381-391, December 1999:
http://www.kluweronline.com/article.asp?PIPS=247768
http://ipsapp009.kluweronline.com/IPS/content/ext/x/J/4979/I/12/A/5/abstract.htm
(не знаю, какая из ссылок более "официальная").
Но, опять к сожалению, статья оказалась доступна не всем,
поскольку с сайта журнала она выдается лишь за деньги. Однако,
обнаружилось место, где она выставлена, причем с разрешения издательства:
http://www.brics.dk/~hosc
http://www.brics.dk/~hosc/vol12/contents.html
http://www.brics.dk/~hosc/local/HOSC-12-4-pp381-391.pdf
Приятного чтения и удовольствия прикоснуться к истокам! :-)
Андрей.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD