Subject: Scp4's news.
From: Andrei P. Nemytykh (nemytykh@math.botik.ru)
Date: Fri Apr 14 2000 - 11:49:40 MSD
Об'явление.
На страничке http://www.botik.ru/pub/local/scp/refal5/
выложена новая версия SCP4.
Что нового:
-----------------------------------------------------------------
- Данная версия SCP4 ТРЕБУЕТ ОБНОВЛЕННОЙ версии РЕФАЛА-5
(которую можно взять на той же странице ).
Под старой версией Рефала-5 данная версия SCP4 работать НЕ будет.
Необходимо ПЕРЕТРАНСЛИРОВАТЬ ВСЕ Ваши модули.
Мы благодарны Александру Корлюкову и Леониду Белоусу за указанные
ошибки в Рефале-5.
Мы благодарим Леонида Белоуса за перенос Рефала-5 под Sun/Linux.
- Исправлено несколько ошибок.
Большое спасибо Андрею Климову, Александру Корлюкову ,
Сергею Мешвелиани , Сергею Скоробогатову (студент Андрея Чеповского),
Юре Климову, Антону Орлову и Олегу Одинцову (студент Андрея
Чеповского).
за пересланные мне тесты на ошибки.
- Добавлено несколько новых демонстарционных примеров.
( см. DOC/USE.TXT и сами примеры DEMO/)
- реализована чистка поглощаемых рядом стоящих предложений;
( Пример: F { '111' s.1 e.X = s.1 e.X; ==> F { '111' e.X =
e.X; }
'111' e.X = e.X;
}
)
- реализована чистка тождественных циклов. Что позволяет использовать
простые рекурсивные фильтры, не боясь того, что циклы из этих фильтров
появятся в остаточной программе.
( Пример: F { 'a' e.X = 'a' <F e.X>; ==> F { e.X = e.X; }
= ;
}
)
- реализована чистка рекурсивных проекций. Любознательный читатель
может сравнить остаточные программы демонстрационных примеров
d_div10.bat и d_div125.bat в предыдущей и данной версии Scp4.
( Пример: F { s.1 e.X (s.1 e.Y) = s.1 <F e.X (e.Y)>;
(e.1) e.X ((e.2) e.Y) = (<F e.1 (e.2)>) <F e.X
(e.Y)> ;
() = ;
}
==> F { e.X (e.Y) = e.X; }
)
( Ещё один пример: F { s.1 e.X (e.Y) = <F e.X (e.Y)>;
(e.Y) = e.Y;
}
==> F { e.X (e.Y) = e.Y; }
)
- расширен входной язык описания программ для суперкомпиляции:
- появилась новая функция-пометка Cut__ , которая
должна быть определена на Рефале как тождественная.
Появление вызова данной функции в стеке в момент прогонки
приводит к
реструктуризации последнего -- функциональные аргуметы этого
вызова
далее будут преобразовываться отдельно от остальной части стека.
Т.е. оставшаяся часть стека объявляется контекстом текущих
вычислений, и ,тем самым, её входные параметры будут обобщены.
Я благодарю Андрея Климова за идею данной мета-пометки.
( подробности см. в DOC/INREF4.TXT )
- появились новый модуль: GLOBAL.REF
- я благодарю Андрея Климова и Александра Корлюкова за пересланные мне
подробные дневники наблюдений за свойствами Scp4.
- я благодарю Леонида Белоуса за указанные ошибки в системе on-line
демонстрации Scp4.
- я благодарен Андрею Чеповскому, который организовал в МВТУ для студентов
лабораторные работы по Scp4. Прошу его предать спасибо всем студентам
принявшим в этих работах участие.
- я благодарен Сергею Скоробогатову, который оказывает техническое
содействие в проведении таких лабораторных работ.
- Большое спасибо всем пользователям Scp4.
Андрей Немытых.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD