Subject: Fw: [Computer_algebra] Meeting on April 28
From: Andrei Klimov (klimov@keldysh.ru)
Date: Sat Apr 24 2004 - 10:46:28 MSD
----- Original Message -----
From: "SINP MSU" <edneral@theory.sinp.msu.ru>
Sent: Wednesday, April 21, 2004 11:44 AM
Subject: [Computer_algebra] Meeting on April 28
Dear Colleagues,
The next meeting of Computer Algebra seminar will take place on
Wednesday, April, 28, 16:20 (room 782 , Computer Science Department (VMK),
Moscow State University).
AGENDA:
Supercompilation and Partial Evaluation: introduction and the state of affairs
Andrei Klimov
( Keldysh Institute for Applied Mathematics, Russian Academy of Sciences )
Supercompilation and Partial Evaluation are program transformation methods
aimed at such problems as program specialization, program composition
("fusion"), inversion etc. The methods were conceived in 1970s and 1980s for
functional programming languages. Supercompilation was invented by Valentin
Turchin for the language Refal; Partial Evaluation -- by the group led by
Neil Jones for the Scheme language. A congenial method is Mixed Computation
by Andrei Ershov. Now the main research direction is further development of
these methods for object-oriented languages with the goal to put them into
practice. The presentation briefly covers the history of the research with
more attention to the works of the Turchin's schools. The main ideas of
supercompilation are introduced by an example of optimization of a small
program in Standard ML. Additional concepts of supercompilation of
object-oriented languages are presented in brief and demonstrated by an
example of a Java program. Finally, Partial Evaluation is introduced in
comparison with supercompilation by the same example, and the CILPE Project,
Partial Evaluation for the Common Intermediate Language of the Microsoft
.NET platform, is shortly presented.
Суперкомпиляция и частичные вычисления: введение и состояние дел
Андрей В. Климов,
Институт прикладной математики им. М.В.Келдыша РАН
Суперкомпиляция и частичные вычисления -- это методы преобразования
программ, направленные на решение таких задач как специализация, композиция
("сплавление"), обращение программ и т.п. Эти методы зародились в 70-е и
80-е годы для функциональных языков программирования. Автор
суперкомпиляции -- В.Ф.Турчин; он разработал этот метод для языка Рефал.
Метод частичных вычисления возник в работах группы Нила Джоунса (Neil Jones)
для языка Scheme. По духу к ним близки смешанные вычисления А.П.Ершова. В
настоящее время основное направление работ -- дальнейшее развитие и
обобщение этих методов на объектно-ориентированные языки и доведение их до
практики.
В докладе дается справка по истории работ с акцентом на работы школы
В.Ф.Турчина. Основные понятия суперкомпиляции вводятся на примере
оптимизации небольшой программы на функциональном языке Standard ML. Вкратце
рассказывается, какие дополнительные понятия появляются в суперкомпиляции
объектно-ориентированных языков, с примером программы на языке Java. В конце
дается сравнение с частичными вычислениями (на том же примере) и краткая
характеристика проекта CILPE: частичные вычисления для промежуточного языка
CIL (MSIL) новой платформы Microsoft .NET.
Ссылки на вводные материалы по суперкомпиляции в Интернете
a.. Раздел "Суперкомпиляция" на сайте Refal.{net,org}
http://www.refal.net/s_compil.html
http://www.refal.org/s_compil.html
b.. Главные вехи в истории метавычислений (Андрей Климов), Компьютерра,
2001, N25
http://www.computerra.ru/offline/2001/402/10913/
c.. Метавычисления и суперкомпиляция: место в мире и текущее состояние
(Андрей Климов, слайды лекции в Политехническом музее, г. Москва, 29 февраля
2000 г.)
http://www.refal.org/klimov/presentation-29-feb-2000/
d.. Введение в Рефал и суперкомпиляцию (Андрей Климов, слайды лекций в
Политехническом музее, г. Москва, в январе-феврале 2000 г.)
http://www.refal.ru/~klimov/lectures/index.html
e.. Scp4, суперкомпилятор для Рефала-5 (Андрей Немытых и Валентин Турчин)
http://www.botik.ru/pub/local/scp/refal5/refal5.html
f.. Supercompiling Java Programs, white paper (Ben Goertzel, Andrei
Klimov, Arkady Klimov)
http://www.supercompilers.com/white_paper.shtml
g.. Java Supercompiler download (experimental version)
http://www.supercompilers.ru/
_____________________________________________
> Computer_algebra mailing list
> Computer_algebra@theory.sinp.msu.ru
> http://theory.sinp.msu.ru/mailman/listinfo/computer_algebra
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD