Институт РЕФАЛа / Библиотека

В. Ф. Турчин
открыть полку ...

закрыть полку
1. В. Ф. Турчин. Метаалгоритмический язык. Кибернетика №4, 1968, Cтр. 45-54. ( , 0.2 Mb), ( , 0.4 Mb)
2. В. Ф. Турчин. Транслятор с АЛГОЛа, написанный на языке РЕФАЛ. В сб.: "Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков." - Киев, 1968. Стр. 134-151. ( , 0.8 Mb), ( , 0.8 Mb)
3. С. Н. Флоренцев, В. Ю. Олюнин, В. Ф. Турчин. РЕФАЛ-интерпретатор. В сб.: "Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков." - Киев, 1968. Стр. 114-133. ( , 1.0 Mb), ( , 1.1 Mb)
4. С. Н. Флоренцев, В. Ю. Олюнин, В. Ф. Турчин. Эффективный интерпретатор для языка РЕФАЛ. M.: ИПМ АН СССР, Препринт №29 за 1969 г., 103 с. ( , 3.7 Mb), ( , 4.0 Mb)
5. В. Ф. Турчин, В. И. Сердобольский. Язык РЕФАЛ и его использование для преобразования алгебраических выражений. M.: «Кибернетика», №3, 1969 г., Стр. 58-62. ( , 0.2 Mb), ( , 0.4 Mb)
6. С. Н. Флоренцев, В. Ю. Олюнин, С. А. Романенко, В. Ф. Турчин. Описание системы программирования РЕФАЛ. M.: ИПМ АН СССР, Препринт №30 за 1969 г., 21 с. ( , 0.6 Mb), ( , 0.6 Mb)
7. С. А. Романенко, В. Ф. Турчин. РЕФАЛ-компилятор. В сб.: "Труды 2-й Всесоюзной конференции по программированию. Заседание Б." - Новосибирск: ВЦ СОАН, 1970. Стр. 31-42. ( , 0.6 Mb), ( , 0.7 Mb)
8. В. Ф. Турчин. Программирование на языке РЕФАЛ.
  - I. Неформальное введение в программирование на языке рефал. M.: ИПМ АН СССР, Препринт №41 за 1971 г., 55 с. ( , 3.5 Mb), ( , 1.8 Mb)
  - II. Формальное описание и принципы реализации рефала. M.: ИПМ АН СССР, Препринт №43 за 1971 г., 60 с. ( , 4.5 Mb), ( , 2.0 Mb)
  - III. Программирование на базисном рефале. M.: ИПМ АН СССР, Препринт №44 за 1971 г., 53 с. ( , 3.5 Mb), ( , 1.8 Mb)
  - VI. Использование рекурсивных переменных в языке рефал. M.: ИПМ АН СССР, Препринт №48 за 1971 г., 47 с. ( , 2.7 Mb), ( , 1.4 Mb)
  - V. Использование метафункций в языке рефал. M.: ИПМ АН СССР, Препринт №49 за 1971 г., 55 с. ( , 2.8 Mb), ( , 1.5 Mb)
9. В. Ф. Турчин. РЕФАЛ. (черновик), 1971, 2 с. (gif, постраничный просмотр)
10. В. Ф. Турчин. Эквивалентные преобразования рекурсивных функций, описанных на языке РЕФАЛ. В cб.: Труды симпозиума “Теория языков и методы построения систем программирования”, Киев-Алушта: 1972. Стр. 31-42. ( , 0.5 Mb), ( , 0.5 Mb), ( , 0.1 Mb), ( , 0.3 Mb)
11. В. Ф. Турчин. Эквивалентные преобразования программ на РЕФАЛе. В cб.: Труды ЦНИПИАСС “Автоматизированная система управления строительством”, выпуск 6, М: 1974. Стр. 36-68. ( , 1.2 Mb), ( , 1.9 Mb)
12. В. Ф. Турчин. РЕФАЛ-макрокод. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации. - Тбилиси: ВЦ АН ГССР, 1975. Стр. 150-165. ( , 0.7 Mb), ( , 0.7 Mb)
13. В. Ф. Турчин. Из рукописи по теории компиляции. Письмо к А. П. Ершовову. - 28 декабря 1976. ( , 2.1 Mb),
14. Анд. В.Климов , Арк. В. Климов, А. Г. Красовский, С. А. Романенко, Е. В. Травкина, В. Ф. Турчин, В. Ф. Хорошевский, И. Б. Щенков. Базисный Рефал и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, vol. 5, N 40. М.: ЦНИПИАСС, 1977. - 258 с. ( , 7.1 Mb), ( , 6.1 Mb)
15. V. F. Turchin. The Language REFAL, the Theory of Compilation, and Metasystem Analysis. Courant Institute Report #20, New York, 1980, 245 p. ( , 3.4 Mb), ( , 13.0 Mb)
16. V. F. Turchin. Supercompilation is a method of function transformation. Draft,1987, 8 p. (gif, paginal browsing)
17. V. F. Turchin. The Algorithm of Generalization in the Supercompiler. In: Proc. of the IFIP TC2 Workshop, Partial Evaluation and Mixed Computation. North-Holland Publishing Co., 1988, pp. 531-549. ( , 0.4 Mb)
18. V. F. Turchin. The School "Metacomputation in the Language Refal". Obninsk, July 11-23, 1990.
  - The Basics of Metacomputation. (Chapter 3) ( , 1.3 Mb), ( , 3.8 Mb)
  - The Supercompiler. (Chapter 6) ( , 1.1 Mb), ( , 2.9 Mb)
19. V. F. Turchin. Metacomputation: Metasystem transitions plus supercompilation. In: Partial Evaluation, LNCS vol. 1110, 1996, pp. 481-509. ( , 0.4 Mb)
20. V. F. Turchin. Refal-5: programming guide and reference manual. 1999, (Revised and extended edition of the issue published by New England Publishig Co., Holyoke 1989). (html), (zipped html, 0.3 Mb)
21. V. F. Turchin, A. P. Nemytykh. Metavariables: their Implementation and Use in Program Transformation. The City College of the City University of New York, Report N. TR 2095-012, 1995, 34 p. ( , 0.3 Mb), ( , 2.5 Mb)
22. V. F. Turchin. On Generalization of Lists and Strings in Supercompilation. The City College of the City University of New York, Technical Report CSc. TR 96-002, 1996, 28 p. ( , 0.5 Mb)
23. A. P. Nemytykh, V. A. Pinchuk, V. F. Turchin. A Self-Applicable Supercompiler. In: Partial Evaluation, LNCS vol. 1110, 1996, pp. 322-337. (gzipped ps , 0.05 Mb), ( , 0.3 Mb)

А. А. Марков
открыть полку ...

закрыть полку
1. А. А. Марков. Теория алгорифмов. Труды Математического института им. В. А. Стеклова, Вып. 42. АН СССР, Москва-Ленинград, 1954, 377 с. ( , постраничный просмотр)
2. А. А. Марков, Н. М. Нагорный. Теория алгорифмов. - М: Наука, 1984, 432 с. ( , постраничный просмотр)

Теоретические основы языка программирования РЕФАЛ
открыть полку ...

закрыть полку
1. С. И. Адян. К проблеме делимости для моноидов, заданных одним соотношением. Матем. заметки, 1994, том 55, №1, 3–9. ( , 0.2 Mb)
2. С. И. Адян. О методе нахождения точных оценок длин выводов в системах Туэ. Матем. заметки, 92:1 (2012), 3–18. ( )
3. С. И. Адян, В. Г. Дурнев. Алгоритмические проблемы для групп и полугрупп. УМН, 2000, том 55, №2(332), 3–94. ( , 0.7 Mb)
4. С. И. Адян, Г. У. Оганесян. О проблемах равенства и делимости для полугрупп с одним соотношением . Матем. заметки, 1987, том 41, №3, 412–421. ( , 0.9 Mb)
5. В. С. Губа. Эквивалентность бесконечных систем уравнений в свободных группах и полугруппах конечных подсистем. Матем. заметки, 1986, том 40, №3, 321–324. ( , 0.4 Kb)
6. В. С. Губа. О связи проблем равенства и делимости слов для полугрупп с одним определяющим соотношением. Изв. РАН. Сер. матем., 1997, том 61, №6, 27–58. ( , 3.2 Mb)
7. В. С. Губа. О некоторых свойствах периодических слов. Матем. заметки, 2002, том 72, №3, 330–337. ( , 0.2 Mb)
8. В. Г. Дурнев, О. В. Зеткина. Об уравнениях с ограничениями на решения в свободных полугруппах. Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 120–129. ( , 0.2 Mb)
9. Л. Г. Киселева. Алгебраическое исследование простейших кодов и бескоэффициентных уравнений в словах. Матем. сб., 108(150):4 (1979), 529–550. ( , 2.0 Mb)
10. Н. К. Косовский. Некоторые свойства решений уравнений в свободной полугруппе. Исследования по конструктивной математике и математической логике. V, Зап. научн. сем. ЛОМИ, том 32, Изд-во «Наука», Ленинград. отд., Л., 1972 г., 21–28. ( , 0.5 Mb)
11. Н. К. Косовский. О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов. Исследования по конструктивной математике и математической логике. VI, Зап. научн. сем. ЛОМИ, том 40, Изд-во «Наука», Ленинград. отд., Л., 1974 г., 24–29. ( )
12. Н. К. Косовский, Т. М. Косовская. Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений. Компьютерные инструменты в образовании, № 5 (2010). ( , 0.2 Mb)
13. И. Г. Лысёнок. Квадратичные уравнения в свободном моноиде. Доклад на традиционной новогодней сессии МИАН-ПОМИ, «Логика и теоретическая информатика», 16–18 декабря 2009 г., г. Москва. ( )
14. Г. С. Маканин. О ранге бескоэффициентных уравнений с четырьмя неизвестными в свободной полугруппе. Матем. сб., 100(142):2(6) (1976), 285–311. ( , 2.3 Mb)
15. Г. С. Маканин. Проблема разрешимости уравнений в свободной полугруппе. Матем. сб., 103(145):2(6) (1977), 147-236. ( , 7.4 Mb)
16. Г. С. Маканин. Распознавание ранга уравнений в свободной полугруппе. Изв. АН СССР. Сер. матем., 43:3 (1979), 547–602. ( , 5.3 Mb)
17. Г. С. Маканин. Конечная параметризация решений уравнений в свободном моноиде. I. Матем. сб., 195:2 (2004), 41–90. ( , 0.4 Mb)
18. Г. С. Маканин. Конечная параметризация решений уравнений в свободном моноиде. II. Матем. сб., 195:4 (2004), 65–96. ( , 0.3 Mb)
19. Г. С. Маканин. Параметризация решений уравнения $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ в свободном моноиде. Матем. заметки, 89:6 (2011), 879–884. ( )
20. А. И. Мальцев. Алгоритмы и рекурсивные функции. 2-е изд. М.: Наука, 1986, 368 с. (djvu, постраничный просмотр)
21. Ю. В. Матиясевич. Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта. / Исследования по конструктивной математике и математической логике. // Зап. научн. сем. ЛОМИ, 8, Изд-во "Наука", Ленинград. отд., Л., 1968, 132-144. ( )
22. Н. М. Нагорный. Некоторые обобщения понятия нормального алгорифма. Проблемы конструктивного направления в математике. 1, Сборник работ, Тр. МИАН СССР, том 52, Изд-во АН СССР, М.–Л., 1958, 7–65. ( , 3.5 Mb), (djvu, постраничный просмотр)
23. В. А. Осипова. К проблеме сопряженности в полугруппах. Математическая логика, теория алгоритмов и теория множеств, Сборник работ. Посвящается академику Петру Сергеевичу Новикову к его семидесятилетию, Тр. МИАН СССР, том 133, 1973, 169–182. ( , 1.5 Mb)
24. Ю. И. Хмелевский. Уравнения в свободной полугруппе. Тр. МИАН СССР, 1971, том 107, 288 с. ( , 35.5 Mb)
25. Г. С. Цейтин. Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов. Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 243–262. ( , 0.9 Mb)
26. Г. С. Цейтин. Приведенная форма нормальных алгорифмов и теорема о линейном ускорении. Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 234–242. ( , 0.4 Mb)
27. M. Bojańczyk. Algebra for Trees. A draft version of a chapter that will appear in the AutomathA handbook. ( , 0.3 Mb)
28. M. Bojańczyk, I. Walukiewicz. Forest Algebras. In: J. Flum, E. Graedel, T. Wilke eds. "Logic and Automata", Texts in Logic and Games, Amsterdam University Press, 2007. ( , 0.2 Mb)
29. A. Jez. Recompression: a simple and powerful technique for word equations. Journal of the ACM, 63(1): 4:1-4:51, 2016. ( )
  - arXiv version ( )
30. A. Jez. Word Equations in Nondeterministic Linear Space. Leibniz International Proceedings in Informatics (LIPIcs), Vol. 80, pp: 95:1-95:13, 2017. ( , DOI: 10.4230/LIPIcs.ICALP.2017.95 )
31. Jean-Eric Pin. Syntactic semigroups. Chapter 10 In: G. Rozenberg and A. Salomaa eds. "Handbook of Formal Language Theory", Springer Verlag, 1997, Vol. 1, pp. 679-746. ( , 0.5 Mb)
32. D. Nowotka, A. Saarela. A connection between one-unknown word equations and constant-free three-unknown word equations. In the Proc. of the 20th DLT, LNCS vol. 9840, 2016, pp: 332-343. ( )
33. A. Saarela. Systems of word equations, polynomials and linear algebra: A new approach. arXiv:1401.7498 , 2014. ( )

Диалекты и реализации языка РЕФАЛ
открыть полку ...

закрыть полку
1. С. М. Абрамов, С. А. Романенко. Представление объектных выражений массивами при реализации языка Рефал. M.: ИПМ АН СССР, Препринт №186 за 1988 г., 29 с. ( , 0.8 Mb), ( , 0.3 Mb)
2. И. Е. Бронштейн, А. В. Столяров. Библиотечная поддержка вычислительной модели языка Рефал. Сборник статей молодых учёных факультета ВМиК МГУ, N 6. М.: Издательский отдел факультета ВМиК МГУ, 2009, Cтр. 36-46. ( , 0.2 Mb), ( , 0.5 Mb)
3. Е. А. Гайдар, И. М. Игнатович, В. Ф. Козадой, А. П. Немытых, В. А. Пинчук, С. В. Чмутов. Функциональный язык для алгебраических вычислений FLAC.
  - Технический отчёт, ИПС АН СССР, Переславль-Залесский, 1988, 42 с. ( , 0.5 Mb)
  - В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 11-42. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
4. Е. А. Гайдар, И. М. Игнатович, В. Ф. Козадой, А. П. Немытых, В. А. Пинчук, С. В. Чмутов. Реализация системы программирования FLAC.
  - Технический отчёт, ИПС АН СССР, Переславль-Залесский, 1988, 58 с. ( , 0.8 Mb)
  - В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 43-91. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
5. В. А. Гошев. Реализация транслятора для языка программирования рефал-5е со встроенным интерпретатором и возможностью подключения библиотек кода. Компьютерные инструменты в образовании, № 5, Переславль-Залесский, 2014, 16–25. ( , 1.4 Mb)
6. В. А. Гошев. Реализация многопоточности в рефал-5е машине. Известия Иркутского государственного университета, Серия «Математика», Т. 15, Иркутск, 2016, 17–25. ( )
7. Р. Гурин, С. Романенко. Язык программирования Рефал Плюс. Курс лекций. Учебное пособие для студентов университета города Переславля. - Переславль-Залесский: "Университет города Переславля" им.А.К.Айламазяна, 2006. - 222 с. (Переработанное и исправленное издание книги "Язык программирования Рефал Плюс". - М.:ИНТЕРТЕХ, 1991). ( , 0.9 Mb)
8. S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, A. P. Nemytykh, V. A. Pinchuk. Implementation of the symbol analitic transformation language FLAC. In the Proc. of DISCO'90, LNCS vol. 429, 1990, p. 276. ( , 0.2 Mb)
9. В. Л. Кистлеров. Принципы построения языка алгебраических преобразований FLAC. M.: ИПУ АН СССР, 1987, препринт. 39 с. ( , 1.7 Mb), ( , 1.8 Mb)
10. V. L. Kistlerov. The Language FLAC: Computational Model and Modularity.
  - In the Proc. of First International Workshop on Metacomputation in Russia, 2008, pp: 39-42. ( , 0.2 Mb)
  - В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 7-10. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
11. Ан. В. Климов, С. А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с. ( , 0.9 Mb), ( , 1.2 Mb)
12. Ан. В. Климов, С. А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с. ( , 1.3 Mb), ( , 1.3 Mb)
13. Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Язык Рефал Плюс на платформе Java. В сб. Всероссийская научная конференция "Научный сервис в сети ИНТЕРНЕТ: многоядерный компьютерный мир. 15 лет РФФИ". - М.: Изд-во МГУ, 2007, Cтр. 207–209. ( , 0.6 Mb)
14. Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Рефал Плюс в среде Eclipse. В сб. Программные системы: теория и приложения. - Переславль-Залесский: Изд-во "Университет города Переславля", 2008, ISBN 978-5-901795-13-1, (Т. 1). Cтр. 123-132. ( , 0.4 Mb)
15. Н. Н. Мансуров, Л. К. Эйсымонт. Реализация расширенного языка Рефал на односвязных списках с кольцевыми цепочками. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт № 20. - 32 с. ( , 1.2 Mb), ( , 1.5 Mb)
16. А. П. Немытых, С. Д. Мешвелиани, С. В. Чмутов, С. В. Дужин. Разработка интеллектуального интерфейса для системы математических вычислений. Технический отчёт, ИПС АН СССР, Переславль-Залесский, 1992, 9 с. ( , 0.3 Mb)
17. A. P. Nemytykh. An attachment to the "Refal-5: programming guide and reference manual"., 2009. (zipped html, 0.3 Mb)
18. А. П. Немытых. Заметка о переносе реализации Рефала-5 на операционную систему Windows Mobile 5.0. В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 166-169. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
19. С. А. Романенко. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. - М.:ИПМ АН СССР, 1978. - 211 с. ( , 11.0 Mb), ( , 12.0 Mb)
20. С. А. Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с. ( , 0.7 Mb), ( , 1.0 Mb)
21. С. А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Интерфейс Рефала и PL/I. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 79 с. ( , 1.9 Mb), ( , 2.5 Mb)
22. С. А. Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Компиляция и исполнение Рефал-программ под управлением ПДО СВМ. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 35 с. ( , 1.0 Mb), ( , 1.2 Mb)
23. С. А. Романенко. Реализация Рефала-2. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 191 с. ( , 4.9 Mb), ( , 6.4 Mb)
24. Cборник трудов по функциональному языку программирования Рефал. Том №1. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6, - 194 с. ( , 4.3 Mb)
  - Бумажную версию Сборника можно заказать в издательстве: sbornik.pz@gmail.com
25. Cборник трудов по функциональному языку программирования Рефал. Том №2. Переславль-Залесский: Изд-во "Сборник", 2015, ISBN 978-5-9905410-2-3, - 156 с. ( , 4.0 Mb)
  - Бумажную версию Сборника можно заказать в издательстве: sbornik.pz@gmail.com
26. В. К. Смирнов. Аппаратная реализация языка Рефал в ИПМ им.М.В.Келдыша. М.:ИПМ им.М.В.Келдыша АН СССР, препринт № 99, 2003. - 21 с. (html)
27. А. В. Столяров. Расширенный функциональный аналог языка Рефал для мультипарадигмального программирования. Программные системы и инструменты. Тематический сборник, том 2. Cтр. 184-195. ( , 0.2 Mb), (gzipped ps , 0.1 Mb), (html)
28. В. А. Фисун. РЕФАЛ (описание языка и инструкция для РЕФАЛ-интерпретатора). М.:ИПМ им.М.В.Келдыша АН СССР, 1974. - 45 с. ( , 1.3 Mb), ( , 1.4 Mb)

Программирование на языке РЕФАЛ
открыть полку ...

закрыть полку
1. Н. А. Чмутова. Общее решение системы линейных уравнений над евклидовым кольцом.
  - Технический отчёт, ИПС АН СССР, Переславль-Залесский, 1988, 34 с. ( , 0.5 Mb)
  - В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 92-117. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
2. Н. Г. Арсентьева, Э. К. Янова. Опыт программирования одной лингвистической задачи на языке РЕФАЛ. - М.: ИПМ АН СССР, 1976, препринт № 113. - 37 с. ( , 1.4 Mb), ( , 1.7 Mb)
3. Арк. В. Климов. Программирование на языке Рефал. 2004. (html), (zipped html)
4. А. В. Корлюков. Введение в программирование на языке РЕФАЛ (с приложениями в алгебре). 2001. (html)
5. М. М. Лебединский. Организация псевдомассивов на рефале. Численные методы и автоматическое программирование, Зап. научн. сем. ЛОМИ, 48, Изд-во «Наука», Ленинград. отд., Л., 1974, Cтр. 18–22 ( , 0.3 Mb)
6. A. P. Lisitsa. An introduction to REFAL. A talk at the British Computer Society, Advanced Programming Specialist Group, 13 March 2014, 6.00pm - 8.00pm, The Chartered Institute for IT, London.
  - The slides. ( , 0.4 Mb)
  - YouTube video of the talk. ( )
7. Н. А. Наумов, А. Г. Рубин, В. К. Смирнов. Об одном способе реализации входных языков для символьного процессора. М.:ИПМ им.М.В.Келдыша АН СССР, 1981, препринт № 146. - 27 с. ( , 1.1 Mb), ( , 1.3 Mb)
8. А. П. Немытых. Лекции по языку программирования РЕФАЛ.
  - Черновик , 2006. (html)
  - В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 118-165. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
9. А. П. Немытых. РЕкурсивный Функциональный АЛгоритмический язык. Информатика, № 09 (562), М: Издательский дом "Первое сентября", 2008, Cтр. 25-32. ( , 0.2 Mb), ( , 0.5 Mb)

Метавычисления над языком РЕФАЛ
открыть полку ...

закрыть полку
1. A. Ahmed, A. Lisitsa and A. Nemytykh. Cryptographic Protocol Verification via Supercompilation (A Case Study). In: VPT 2013. First International Workshop on Verification and Program Transformation, EPiC, Volume 16, pp: 16-29, July 2013, DOI: 10.29007/gpsh, ISSN: 2398-7340. ( , 0.3 Mb)
2. А. П. Ершов. О РЕФАЛе, функции Аккермана. (черновик), 1978, 7 с. (gif, постраничный просмотр)
3. Ан. В. Климов, С. А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 71. - 32 с. ( , 1.2 Mb), ( , 1.3 Mb)
4. А. В. Корлюков. Пособие по суперкомпилятору SCP4. 2001. (html)
5. А. В. Корлюков. Эксперименты с суперкомпилятором SCP4. 2001. (html)
6. А. В. Корлюков, А. П. Немытых. Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second). Вестник национального технического университета "Харьковского политехнического института", Харьков, 2004, № 1, Cтр. 123-150. ( , 0.1 Mb и )
7. А. П. Немытых. Суперкомпиляция прогонки (эксперимент с суперкомпилятором SCP4). 1998. ( , 1.6 Mb)
8. А. П. Немытых. Суперкомпилятор SCP4: общая структура. Монография, М: Издательство URSS, 2007, ISBN 978-5-382-00365-8. - 152 с. )
  - Страница книги на сайте издательства.
  - Скан. , 22.3 Mb
9. А. П. Немытых. О суперкомпиляции (к 80-тилетию со дня рождения В. Ф. Турчина). Международная конференция "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А. А. Ляпунова. Академгородок, Новосибирск, 11 - 14 октября 2011 г., ISBN 978-5-905569-03-6 ( , 0.3 Mb)
10. А. П. Немытых. Графическое отображение некоторых понятий суперкомпиляции (трассировщик суперкомпилятора SCP4), Тезисы доклада. Международная конференция "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А. А. Ляпунова. Академгородок, Новосибирск, 11 - 14 октября 2011 г., ISBN 978-5-905569-03-6 ( , 0.4 Mb)
11. A. Lisitsa, A. P. Nemytykh. Reachability Analysis in Verification via Supercompilation.
  - Workshop version. In: Proc. of the Satellite Workshops of DTL 2007, TUCS General Publication, No. 45, Part 2, pp: 53-67, June 2007. ( , 0.3 Mb)
  - Journal version. In: International Journal of Foundations of Computer Science , Vol. 19, No. 4, pp: 953-970, August 2008.
12. A. Lisitsa, A. P. Nemytykh. A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
  - arXiv:1209.5407, Cornell University Library, ArXiv.org, 2012. - 6 p. ( )
  - Workshop version. In: VPT 2014. Second International Workshop on Verification and Program Transformation, EPiC, Volume 28, pp: 52-65, July 2014, DOI: 10.29007/cj27, ISSN: 2398-7340. ( )
13. A. P. Nemytykh. A Note on Elimination of Simplest Recursions. In: Proc. of the ACM SIGPLAN Asia-PEPM'02, ACM Press, Aizu, Japan, 2002. - pp: 138-146. ( , 0.2 Mb)
14. A. P. Nemytykh. Playing on REFAL. In: Proc. the International Workshop on Program Understanding, 2003, A.P. Ershov Institute of Informatics Systems, Syberian Branch of Russian Academy of Sciences, Novosibirsk - Altai Mountains, Russia, 2003. - pp: 29-39. (gzipped ps , 0.08 Mb)
15. A. P. Nemytykh. On Unfolding for Programs Using Strings as a Data Type. In: VPT 2014. Second International Workshop on Verification and Program Transformation, EPiC, Volume 28, pp: 66-83, July 2014, DOI: 10.29007/m8rr, ISSN: 2398-7340. ( )
16. Antonina Nepeivoda. On Some Refinement of Higman Embedding in Regular Approximations of Loops. Переславль-Залесский, ИПС РАН, 2013, препринт. - 13 с. ( , 0.2 Mb)
17. Antonina Nepeivoda. Ping-Pong Protocols as Prefix Grammars and Turchin Relation. In: VPT 2013. First International Workshop on Verification and Program Transformation, EPiC, Volume 16, pp: 74-87, July 2013, DOI: 10.29007/lw7c, ISSN: 2398-7340. ( , 0.3 Mb)
18. Антонина Н. Непейвода. Отношение Турчина и аппроксимация циклов при анализе программ. В Cборнике трудов по функциональному языку программирования Рефал. Том №1, Cтр. 170-192. Переславль-Залесский: Изд-во "Сборник", 2014, ISBN 978-5-9905410-1-6. ( , 4.3 Mb)
19. Antonina Nepeivoda. Verification of Multi-Party Ping-Pong Protocols via Program Transformation. In: VPT 2014. Second International Workshop on Verification and Program Transformation, EPiC, Volume 28, pp: 84-98, July 2014, 10.29007/1r2w, ISSN: 2398-7340. ( , 0.3 Mb)
20. С. А. Романенко. Прогонка для программ на Рефале-4. М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с. ( , 0.5 Mb), ( , 0.6 Mb)

Страница находится в стадии разработки