|
29.05.2005 |
|
| |
|
|
| |
Refal-2 for Windows and
UNIX |
|
| |
|
|
|
| От: |
"Leonid Belous" <belous@ilt.kharkov.ua> |
| Кому: |
"refal" <refal@botik.ru> |
| Отправлено : |
29 May 2005 23:14 |
| Тема: |
Refal-2 for Windows and
UNIX |
|
|
| |
Уважаемые коллеги!
Предлагается адаптированная к современным
платформам
Windows-(95/98/ME/NT/2000/XP) и UNIX (FreeBSD, Linux) реализация языка
Рефал-2. Работа выполнена по открытой лицензии и
свободно доступна для любых
применений, включая коммерческое использование. Подробности на рефал-сайте http://www.refal.net/~belous/refal2-r.htm
(зеркало http://www.refal.org/~belous/refal2-r.htm
) .
Буду
благодарен за отзывы, советы, замечания.
С уважением,
--Леонид Белоус
http://www.refal.org/~belous/index-r.htm
|
|
|
08.04.2004 |
|
| |
|
|
| |
Разработка
проекта Refal+ |
|
| |
Команда
разработчиков проекта SKIF (http://skif.pereslavl.ru/skif
) перешла на современную технологию работы с
применением TWiki. Проекту модернизации системы
Refal+ уделяется самое серьезное внимание. Проект
открыт для совместного сотрудничества.
Сайт разработки http://revenge.botik.ru/cgi-bin/twiki/view/Refaldevel/WebHome
С уважением,
--Леонид Белоус
|
|
|
21.04.2003 |
|
| |
|
|
| |
REFAL-JAVA |
|
| |
|
|
|
| От: |
"Arkady Klimov" <arkady.klimov@supercompilers.com> |
| Кому: |
"refal" <refal@botik.ru> |
| Отправлено : |
21 Apr 2003 15:26:17 |
| Тема: |
Refal-J: first release |
|
|
| |
|
|
|
Привет всем!
Рады сообщить, что воссоединение Рефала и Java, о
котором уже
давно говорили "старые рефальщики" (начиная
с декабря 1999)
свершилось!
Реализация выполнена путем прямой компиляции
Рефала в Java.
Компилятор написан на Рефале на основе
компилятора Рефала-6
и полностью совместим с ним по входному языку.
Синтаксис расширен. Поддержка выполнения и
библиотека
встроенных функций написана на 100% Java.
По скорости, измеренной на примере Select, Refal-J в 4
раза обгоняет
Рефал-6, именно столько показал эксперимент с
ручной трансляцией
в Java в декабре 1999.
На компиляции своего компилятора (написанного
целиком на Рефале)
скорость примерно совпадает со скоростью
Рефала-6.
По-видимому, на входной и выходной обработке
строк Рефал-J
относительно далек от оптимума.
Формально реализация полностью независима от
реализации Рефала-6,
но для раскрутки Рефал-6 требуется. В поставку
вложен и уже раскрученный
компилятор в виде jar-файла.
Вся информация (включая доступ ко всем
исходникам) находится на странице
http://www.refal.org/~arklimov/refal6/refal-j.htm
Для установки и работы Вам необходимо (и
достаточно) иметь установленный
JDK 1.2 и выше (хорошо 1.4.1).
Работа по данной реализации была начата в
декабре 2002 и в основном была
завершена еще в марте, но только сейчас система
стала готова к первому
бета-релизу. Теперь мы переходим к использовании
новой системы
на практике, к чему присоединяться Вас
настойчиво приглашаем.
С вопросам, замечаниями, предложениями,
обращайтесь либо в данную группу
либо сюда: arkady.klimov@supercompilers.com.
При использовании Refal-J как правило надо будет
часть приложения писать
на Java, часть на Рефале, вставляя в классы на Java
методы, необходимые для
взаимодействия с Рефалом. Для различных
прикладных областей нужны будут
свои наборы "переходников". Важно
вырабатывать общие модели видения из
рефала разных API. Надо также вырабатывать новые
подходы к формированию
библиотеки встроенных функций ("машинных
операций") на основе наличия
тесного интерфейса с языком широкого назначения.
В настоящее время нас особенно интересует
взаимодействие с JDBC. Нам
будет интересно и важно мнение всех, кто имеет
опыт в данной области.
Будем рады сотрудничеству в этой части.
Успехов!
Андрей и Аркадий Климовы
|
|
|
08.12.2002 |
|
| |
|
|
| |
Система Refal-PHP |
|
| |
|
|
|
| От: |
Leonid Belous |
| Кому: |
refal@botik.ru |
| Отправлено : |
08 December 2002. 21:14 |
| Тема: |
Refal-PHP is ready |
|
|
| |
|
|
|
Уважаемые коллеги!
Приглашаю вас на свой сайт, посвященный
интеграции Рефала с популярной
системой PHP.
http://www.refal.net/~belous/index-r.htm
(зеркало http://www.refal.org/~belous/index-r.htm
)
Буду благодарен за отзывы и замечания.
С уважением,
--Леонид Белоус
|
|
|
11.02.2002 |
|
| |
|
|
| |
Семинар по
метавычислениям |
|
| |
|
|
|
| От: |
Andrei Klimov |
| Кому: |
Seminar participants |
| Отправлено : |
11 февраля 2002 г. 21:36 |
| Тема: |
Seminar on metacompuation, mechmat MSU, 12
Feb, 17:00 |
|
|
| |
|
|
|
Добрый день!
Во вторник 12 февраля состоится очередное
заседание семинара по метавычислениям на
мехмате МГУ, 17:00, ауд. 1305 Главного здания.
- Аркадий Климов, Методы построения циклов с
примерами из суперкомпиляции интерпретатора
языка XSLT, XT Дж. Кларка.
Будут рассказаны как
существующие правила зацикливания в Java Supercompiler,
JScp, (включая реализованные совсем недавно),
так и идеи, которые возникли в процессе
"живых" экспериментов над интерпретатором
XSLT. Призываем "свежие головы" оппонировать и
генерировать новые идеи!
План доклада:
- Методы зацикливания
| UnfoldLoopEmpty |
-ul1,-ule |
| UnfoldLoopLinear |
-ul2,-ull |
| UnfoldLoopNoBreak |
-ul3,-ulnb |
| UnfoldLoopNoRegularBreak |
-ul4,-ulnrb |
| UnfoldLoopNoInclusion |
-ul5,-ulni |
- Когда -ulnrb недостаточно агрессивен
- Когда -ulni слишком агрессивен
- Окрестностный анализ
- Использование ОА для усиления (ослабления
агрессивности) -ulni
- Улучшение ОА: метод удержания окрестности
- Пример из XT (++position)
- Пример стека из массива и указателя заполнения
- Суперкомпиляция и Intentional Programming
- Сергей Фаттахов и Андрей Климов, Опыт
специализации программы визуализации, ray tracer-а,
по заданной сцене.
На прошедшей неделе нам
удалось проспециализировать графический рендер
по сцене. Была взята программа "независимого
автора" из интернета: см. 5-ый пример (Raytracer) на
странице
http://www.smiley-face.freeserve.co.uk/programming/
Однако, пока получено лишь 2-кратное ускорение.
На данном примере обсудим:
- что значить "успешно проспециализировать"?
- какие проблемы и как приходится преодолевать
при "проталкивании" программы через JScp,
чтобы добиться разумной специализации?
- какой результат ожидается и почему он еще не
достигнут?
- что еще предстоит сделать в суперкомпиляторе и
с данным примером?
Андрей Климов. |
|
|
|
|
|
|
|
|
25.12.2001 |
|
| |
|
|
| |
Семинар по
метавычислениям |
|
| |
|
|
|
| От: |
Andrei Klimov
<Andrei.Klimov@supercompilers.com> |
| Кому: |
Seminar participants |
| Отправлено : |
24 декабря 2001 г. 19:55 |
| Тема: |
Seminar on metacompuation, mechmat MSU, 25
Dec, 17:00 |
|
|
| |
|
|
| |
Добрый день!
Следующее заседание семинара по
метавычислениями на мехмате МГУ -- вторник 25
декабря, 17:00, ауд. 1305 Главного здания.
1. В первой части Юрий Климов и Антон Орлов
завершат доклад о сделанных ими расширениях
модельного суперкомпилятора (на Хаскеле) более
сложными операциями, включающими
распространение ограничений x=/=y и т.п. Осталось
обсудить операцию обобщения.
2. Во второй части я начну новую тему:
Спецификация суперкомпиляторов.
Речь идет об описании отношения между
входом и выходом суперкомпилятора без фиксации
алгоритмов конфигурационного анализа. Отношение
задается исчислением на языке Natural Semantics [1],
популярным в современной computer science формализмом
описания "операционной семантики" (по
Г.Плоткину [2]).
Первая лекция начнется с введения в
денотационную и операционную семантики на
примере модельного языка, близкого к знакомому
вам *SG. Будет дана спецификация его
интерпретатора. (По-видимому, на этом первая
лекция закончиться.) Потом (в январе)
спецификация будет пошагово "надстроена"
семантикой драйвинга и полного суперкомпилятора
этого языка в разных вариантах:
плоских--неплоский, ленивый--неленивый, и т.п.
На слайдах будет представлен материал работы
[3], устно доложенной 6 лет назад на семинаре в
Германии, но еще не опубликованной.
- Gilles Kahn, "Natural Semantics", Proceedings of the Symposium on
Theoretical Aspects of Computer Science (STACS), Springer-Verlag, 1987, Lecture Notes
in Computer Science, 247, pp. 22--39.
- www.dcs.ed.ac.uk/home/gdp/
- Andrei V. Klimov, "A specification of a class of supercompilers", in Draft
Proceedings of the Dagstuhl Seminar on Partial Evaluation, WSI-96-6, p.232,
Universitat Tubingen, Germany, 1996.
Андрей Климов. |
|
| |
|
|
|
21.11.2001 |
|
| |
|
|
| |
Семинар по
суперкомпиляции Явы |
|
| |
|
|
|
| От: |
Andrei Klimov <Andrei.Klimov@supercompilers.com> |
| Кому: |
Seminar participants |
| Отправлено : |
20 ноября 2001 г. 23:34 |
| Тема: |
JScp: Seminar on Wednesday 21 November
18:00 in MSU, mechmath, apt. 1305 |
|
|
| |
|
|
| |
Посылаю это письмо по списку
рассылки приглашений на семинары по
суперкомпиляции Явы в ИПМе с информацией о
текущей "семинарской активности".
С августа мы не заседали в
ИПМе, потому что начал работать спец-семинар по
теме "Метавычисления" на мехмате МГУ в
рамках дополнительного образования (http://mathinform.math.msu.su/), участниками
которого оказались многие из посетителей ИПМ-а.
Целью семинара является
работа студентов по темам:
- Теория метавычислений (рук.
С.Абрамов)
- Суперкомпиляция Явы (рук.
Анд.Климов)
Хотя семинар формально закрытый
(привязан к платным курсам), но "для своих" и
для особо желающих -- открыт. Больше будет
участников -- интенсивнее и плодотворнее будут
обсуждения. Будем рады Вас сидеть!
Обычно семинары начинаются в
17 часов. Первые полтора часа ведет С.Абрамов,
вторые полтора часа -- я. Однако, 21 и 28 ноября из-за
отсутствия С.Абрамова, все время будет отведено
суперкомпиляции Явы, а семинар начнется позже
обычного -- в 18:00. Место проведения -- ауд. 1305
в Главном здании.
На предыдущих семинар в моей
части мы обсудили примеры, которые
"проходили" летом в ИПМе. На этот и следующий
разы займемся подробным разбором структур
данных и алгоритмов, реализованных в JScp.
За прошедшее время JScp
приобрел более законченные формы. Заработала вся
"технологическая цепочка": на входе .java
файлы -- на выходе .java файлы. Такая версия
появилась 7 ноября. Посему, отныне мы празднуем
этот красный день календаря как день рождения
суперкомпилятора. :-)
Для первичного накопления
опыта использования JScp мы завели рабочий
русскоязычный (с английским акцентом:-) сайт www.supercompilers.ru. А уже
"вторичная переработка" будет делаться на
английском сайте www.supercompilers.com. Сейчас
на www.supercompilers.ru еще ничего
нет кроме головной страницы и бинариков текущей
экспериментальной (альфа) версии JScp. Но будет!
Буду держать вас в курсе
семинаров по JScp. Будем заседать и в ИПМе. А пока
приглашаем заходить "на огонек" на мехмат
по средам в 17-18 часов в ауд. 1305.
Объявлен новый (второй) набор на
дополнительное образование на мехмате по
теоретической информатике (включающей
метавычисления), http://mathinform.math.msu.su/.
Следующий поток начнет учиться со второго
семестра. Плата за образование заметно
уменьшена. Передавайте эту информацию друзьям и
знакомым, присылайте молодежь.
|
|
| |
|
|
Н О В О С Т И