РЕФАЛ и его аналоги

использовался ли РЕФАЛ где-либо

Немытых А.П. Суперкомпилятор SCP4: Общая структура

В нашем институте (ИПС РАН) Рефал вполне себе потихоньку пилится и используется для исследований в области суперкомпиляции и метавычислений.

Вроде еще в Удмуртии что-то делали, но там основной упор был на реверсивное программирование.

А что Лавров когда-то крутил (Декарт, СПОРА), благополучно скончалось?

Как мне представляется, да, поскольку давненько ничего нового по этому поводу не слышал.

заинтересовала экзотика среди языков программирования

Протухшая экзотика Refal: диалекты и реализации, jrefal - smart refal in java, REFAL-PHP, «Рефал-Рокот».

http://mrefal.blogspot.com/ вот еще один рефал

реверсивное программирование

Сразу прошу прощения за безграмотность если что: Я так понимаю что речь идет о восстановлении исходных текстов программы по бинарному файлу, если очень грубо говорить, то есть о задачах для дизассемблера, декомпиляторов и т.д.?

Нет, речь идет о выполнении программ в обратную сторону, то есть о получении аргументов функции на основе ее результатов.

А зачем для этого может понадобится РЕФАЛ?

Любимый язык исследователя :) Просто большая часть этих людей была в свое время сконцентрирована вокруг Турчина.

Интересное направление, спасибо за просвещение

а ссылкой на работы по этой теме не поделитесь?

про суперкомпиляцию?

по слухам всё что ща в комерции .

Кое-что есть здесь:

http://botik.ru/~abram/mca/

http://www.refal.net/origins/transfrm/vtet1972.htm