Home   
N E W S  Н О В О С Т И N E W S

   Новости на сайте 

     
11.06.2010
     
  META-2010: Последнее объявление о международном семинаре по метавычислениям в России Andrei P. Nemytykh (Fri Jun 11 2010 - 21:11:20 MSD)  
 

 
10.06.2010
     
 

МЕТА 2010: приглашение к участию

  
     
 

Добрый день всем!

1-5 июля 2010 в Переславле-Залесском состоится Second International Workshop on Metacomputation in Russia (META 2010):
http://meta2010.pereslavl.ru/

С программой можно ознакомиться здесь:
http://meta2010.pereslavl.ru/program/program.html

Обратите внимание на приглашенных докладчиков:
- Neil D. Jones (Professor Emeritus, DIKU, Denmark)
- Simon Peyton-Jones (Microsoft Research, Cambridge, UK)

Если хотите принять участие, срочно сообщите нам об этом (если этого еще не сделали) по адресам: meta2010@u.pereslavl.ru и klimov@keldysh.ru. Сейчас последний момент, когда мы можем помочь Вам с поселением.

До встречи на META!

Андрей Климов

  
  META-2010: Приглашение к участию Andrei Klimov (Thu Jun 10 2010 - 17:41:46 MSD)  
     
7.04.2010
     
 

7 апреля 2010 года Валентин Федорович ТУРЧИН, к глубокому прискорбию всех, кто знал его, ушел из жизни после продолжительной борьбы с тяжелой болезнью 

  
 

 
10.06.2009
     
 

Какой язык лучше суперкомпилировать: "строгий" или "ленивый"?  

 
 

http://groups.google.ru/group/metacomputation-ru/msg/8f9af7dd21380057
   

Уважаемые коллеги!

С целью популяризации идей суперкомпиляции среди "простого народа", а также
для неформального обмена мнениями по этой тематике (и при этом - на русском
языке), открыт блог

http://metacomputation-ru.blogspot.com/

Список соавторов блога находится в конце заглавной страницы.

Желающие пописать в этом блоге в качестве соавторов приглашаются к
вступлению в число соавторов. Для этого надо обратиться к одному из
имеющихся соавторов.

Также можно записаться в число "(по)читателей" блога. Для этого надо найти и
нажать соответствующую кнопочку на заглавной странице.

В случае длинных постов, как оказалось, их можно готовить через Google
Documents (включая диаграммы), а потом закачивать в Blogger нажатием кнопки.

Здесь существенно то, что в основе Гугл-документов лежит html, поэтому
закачивание в Блоггер проходит достаточно гладко. Но всё равно, потом
желательно просмотреть в Блоггере и руками кое-что подправить.

Чтобы на заглавной странице блога появлялись не полные тексты сообщений, а
только их заголовки и начало, требуется помечать хвост поста, который не
нужно показывать, с помощью тегов:

<p>Начало сообщения, которое появится в кратком списке сообщений.</p><span
class="fullpost"><p>Остальная часть сообщения.</p></span>

Если кто считает, что в блоге что-то написано неправильно - приглашаем
высказывать альтернативные мнения прямо в блоге (чтобы потом поисковые
машины всё это индексировали и показывали). :-)

Замечания можно писать в виде комментариев к постам. Но ещё лучше - писать
свои размышления в виде постов (вступив в число авторов блога).

Сергей   (Сообщение Сергея Романенко от 3 мая 2009 года)

  
             
24.08.2005
     
 

Refal+ on IcfpContest2005  

 
 
   Система Refal+ использовалась в соревновании по программированию, проводившемся при международной конференции по функциональному программированию: IcfpContest2005 (на английском).
  		 
             
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 Главного здания.

  1. Аркадий Климов, Методы построения циклов с примерами из суперкомпиляции интерпретатора языка XSLT, XT Дж. Кларка.

    Будут рассказаны как существующие правила зацикливания в Java Supercompiler, JScp,  (включая реализованные совсем недавно), так и идеи, которые возникли в процессе "живых" экспериментов над интерпретатором XSLT. Призываем "свежие головы" оппонировать и генерировать новые идеи!

    План доклада:

    1. Методы зацикливания
      UnfoldLoopEmpty -ul1,-ule
      UnfoldLoopLinear -ul2,-ull
      UnfoldLoopNoBreak -ul3,-ulnb
      UnfoldLoopNoRegularBreak -ul4,-ulnrb
      UnfoldLoopNoInclusion -ul5,-ulni
    2. Когда -ulnrb недостаточно агрессивен
    3. Когда -ulni слишком агрессивен
    4. Окрестностный анализ
    5. Использование ОА для усиления (ослабления агрессивности) -ulni
    6. Улучшение ОА: метод удержания окрестности
    7. Пример из XT (++position)
    8. Пример стека из массива и указателя заполнения
    9. Суперкомпиляция и Intentional Programming
       
  2. Сергей Фаттахов и Андрей Климов, Опыт специализации программы визуализации, 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 лет назад на семинаре в Германии, но еще не опубликованной.

  1. 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.
  2. www.dcs.ed.ac.uk/home/gdp/
  3. 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/. Следующий поток начнет учиться со второго семестра. Плата за образование заметно уменьшена. Передавайте эту информацию друзьям и знакомым, присылайте молодежь.

 

С вопросами обращайтесь к Андрею Чеповскому (Andrei.Chepovsky@supercompilers.com).

Всего наилучшего,

Андрей.

  
     
  РАНЕЕ... >

 

Новости

Автор

История

Документация

Приложения 

Форумы

Рефал-сайты