Subject: Seminar on Rеfal and supercompilation, 11 February 2000
From: Andrei Klimov (klimov@keldysh.ru)
Date: Tue Feb 08 2000 - 22:31:15 MSK
Здравствуйте!
Это письмо содержит объявление о втором занятии
школы-семинара "Язык Рефал и суперкомпиляция".
Оно также выставленно в Интернете по адресу
http://www.refal.net/scp_school.html
Извините, если Вы получили это письмо, но не давали
согласия на рассылку Вам сообщений по этой тематике.
Следующие объявления о семинарах этого цикла будут
рассылаться ТОЛЬКО по списку refal@botik.ru
(см. архив по адресу http://www.botik.ru/mail-archive/refal/),
и лично тем, кто подтвердит согласие.
Если Вы хотите в дальнейшем получать на Ваш адрес
объявления о мероприятиях по Рефалу и суперкомпиляции,
но еще не зарегистрировались на рассылку, пошлите, пожалуйста,
ответ на это письмо, указав Ваше имя и email-адрес.
Будем Вам очень благодарны, если Вы перешлете это письмо
всем, кого оно может заинтересовать.
_____________________________________
ШКОЛА-СЕМИНАР "ЯЗЫК РЕФАЛ И СУПЕРКОМПИЛЯЦИЯ"
В пятницу 11 февраля 2000 г. с 13:00 до 17:00 в Политехническом музее
состоится второе занятие школы-семинара
"Язык Рефал и суперкомпиляция", проводимой специалистами
Института прикладной математики им. М.В.Келдыша РАН, г. Москва,
Института программных систем РАН, г. Переславль-Залесский,
и других институтов и университетов.
Цель школы-семинара -- подготовка специалистов, которые
смогут участвовать в работах по реализации суперкомпиляторов
для Рефала, Java и других языков программирования и
решать с их помощью прикладные задачи.
Темы лекции 11 февраля:
- Основные понятия суперкомпиляцию (на примерах).
- Схемы решения типовых задач с помощью суперкомпиляции.
- Формулы метасистемных переходов (MST-формулы).
Докладчик: Андрей Климов (ИПМ им. М.В.Келдыша РАН)
Следующая (третья) лекция состоится там же в четверг 17 февраля в 13:00.
Слайды первой лекции, состоявшейся 25 января 2000 г., выставлены
в Интернете по адресу http://www.refal.net/scp/Klimov/Lectures/
Материалы по Рефалу и суперкомпиляции, а также объявления
о работе школы-семинара можно найти на сайте www.refal.net.
Эти объявления рассылаются также по списку refal@botik.ru
и лично всем желающим, приславшим свое имя и электронный
адрес по адресу klimov@keldysh.ru . По этому же адресу
Вы можете зарегистрироваться для включения в список
бесплатного прохода в Политехнический музей. Участникам
предыдущих семинаров повторно регистрироваться не нужно.
Сбор 11 февраля в 12:45 у касс Политехнического музея
(вход в середине южной стороны здания).
Если Вы опоздаете, пройдите по списку на вахте и спрашивайте
"зал физики". Если Вы не были зарегистрированы и включены
в список, пройдите в музей, купив билет за 10 руб.
Проезд: м. "Китай-город", "Лубянка", "Кузнецкий мост".
Выходить по указателям "К Политехническому музею".
Андрей Климов.
_____________________________________
Рефал -- это функциональный язык программирования,
а суперкомпиляция -- метод глубокого преобразования
программ, разработанные Валентином Турчиным в 70-е годы
и претерпевшие большую эволюцию за 30 лет.
См. http://www.refal.net/
В прошлом году появился суперкомпилятор для Рефала-5,
реализованный Андреем Немытых
(Институт программных систем, г. Переславль-Залесский).
См. http://botik.ru/pub/local/scp/refal5/refal5.html
В настоящее время ведутся работы над суперкомпилятором
для объектно-ориентированного языка Java.
См. http://www.supercompilers.com/
_____________________________________
Andrei Klimov, senior researcher
Keldysh Institute of Applied Mathematics
Russian Academy of Sciences
4 Miusskaya square, Moscow 125047, Russia
Email: klimov@keldysh.ru
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD