| |
Количество публикаций: 262
1. Turchin V.F. The concept of a supercompiler. ACM Trans. Program. Lang. Syst. 8, 3 (Jun. 1986), 292-325. DOI= http://doi.acm.org/10.1145/5956.5957. , v. , N . 1986, 0.
2. Lopital` (L`Hopital) ed2k://|file|Lopital`.(L`Hopital).-.Analiz.beskonechno.malyx.(1696)(ru).djvu|2534548|6EDADD3BD4B019711C3653CCADFC366A|/. . , 1696.
3. Russell ed2k://|file|Russell.-.Mathematical.Logic.as.Based.on.the.Theory.of.Types.(1908).djvu|323269|5401408BA3EC79F26C0C8F422D4DCE16|/. . , 1908.
4. Турчин В.Ф. Метаязык для формального описания алгоритмических языков . Цифровая вычислительная техника и программирование. Москва, 1966.
5. Турчин В.Ф. , Флоренцев С.Н. , Фисун В.А. Язык РЕФАЛ и его использование в задачах автоматизации программирования . Доклад на межвузовской научной коференции "Автоматизация программирования экономических расчетов". Москва, 1967.
6. Турчин В.Ф. , Веселов В.Н. , Флоренцев С.Н. , Сердобольский В.И. Транслятор с метаалгоритмического языка. Тезисы доклада на научной конференции МИФИ. МИФИ. Москва, 1967.
7. Флоренцев С.Н. Блок отождествления транслятора с метаалгоритмического языка. Тезисы доклада на научной конференции МИФИ. МИФИ. Москва, 1967.
8. Турчин В.Ф. Метаалгоритмический язык. Кибернетика, N 4. Киев, 1968.
9. Турчин В.Ф. Алгоритмический язык рекурсивных функций (РЕФАЛ). Препринт, N 4. ИПМ. Москва, 1968.
10. Турчин В.Ф. , Флоренцев С.Н. Принципы транслятора-интерпретатора с языка РЕФАЛ на вычислительной машине БЭСМ-6. Тезисы доклада на научной конференции МИФИ, N 4. МИФИ. Москва, 1968.
11. Флоренцев С.Н. , Олюнин В.Ю. Выполнение синтаксического отождествления в режиме интерпретации. Тезисы доклада на научной конференции МИФИ. МИФИ. Москва, 1968.
12. Флоренцев С.Н. , Олюнин В.Ю. , Турчин В.Ф. РЕФАЛ-интерпретатор. Тезисы 1-й Всесоюзной конференции по программированию. Киев, 1968.
13. Турчин В.Ф. Транслятор с АЛГОЛа, написанный на языке РЕФАЛ. Тезисы 1-й Всесоюзной конференции по программированию. Киев, 1968.
14. Turchin V.F. ed2k://|file|[Functional.Programming].Turchin.-.Metaalgoritmicheskij.yazyk.(1968)(ru).djvu|207693|28B6DDA7F9E74ACA83AE98D25A78DBA6|/. . , 1968.
15. Турчин В.Ф. , Сердобольский В.И. Язык РЕФАЛ и его использование для преобразования алгебраических выражений. Кибернетика, N 3. Киев, 1969.
16. Флоренцев С.Н. , Олюнин В.Ю. , Турчин В.Ф. Эффективный интерпретатор для языка РЕФАЛ. Препринт, N 29. ИПМ. Москва, 1969.
17. Флоренцев С.Н. , Олюнин В.Ю. , Романенко С.А. , Турчин В.Ф. Описание системы программирования РЕФАЛ. Препринт, N 30. ИПМ. Москва, 1969.
18. Флоренцев С.Н. Эффективная интерпретация алгоритмического языка рекурсивных функций на вычислительных машинах. Автореферат диссертации на соискание степени к.т.н.. МИФИ. Москва, 1969.
19. Turchin V.F., Serdobol`skij ed2k://|file|[Computer.Algebra].Turchin,.Serdobol`skij.-.Yazyk.Refal.i.ego.ispol`zovanie.dlya.preobrazovaniya.algebraicheskix.vyrazhenij.(1969)(ru).djvu|118203|6500E9753DA16E318DC6D42EC2984CE8|/. . , 1969.
20. Романенко С.А. , Турчин В.Ф. РЕФАЛ-компилятор. Труды 2-й Всесоюзной конференции по программированию. ВЦ СОАН. Новосибирск, 1970.
21. Флоренцев С.Н. Транслятор с автокода для машин типа БЭСМ-4, написанный на РЕФАЛе. Некоторые вопросы кибернетики, N 1. МИФИ. Москва, 1970.
22. Romanenko S.A., Turchin V.F. ed2k://|file|[Functional.Programming].Romanenko,.Turchin.-.Refal-kompilyator.(VKP-2,.1970)(ru).djvu|230821|98C6814A89AC6691135F8EFFF0AD10E5|/. . , 1970.
23. Будник А.П. , Гай Е.В. , Работнов Н.С. , Климов Анд.В. , Турчин В.Ф. , Щенков И.Б. Базисные волновые функции и матрицы операторов в коллективной модели ядра. Ядерная физика, v. 14, N 2. Москва, 1971.
24. Турчин В.Ф. Программирование на языке РЕФАЛ. Часть 1. Неформальное введение в язык РЕФАЛ . Препринт, N 41. ИПМ. Москва, 1971.
25. Турчин В.Ф. Программирование на языке РЕФАЛ. Часть 2. Формальное описание и принципы реализации РЕФАЛа. Препринт, N 43. ИПМ. Москва, 1971.
26. Турчин В.Ф. Программирование на языке РЕФАЛ. Часть 3. Программирование на базисном РЕФАЛе. Препринт, N 44. ИПМ. Москва, 1971.
27. Турчин В.Ф. Программирование на языке РЕФАЛ. Часть 4. Использование рекурсивных переменных в языке РЕФАЛ . Препринт, N 48. ИПМ. Москва, 1971.
28. Турчин В.Ф. Программирование на языке РЕФАЛ. Часть 5. Использование метафункций в языке РЕФАЛ . Препринт, N 49. ИПМ. Москва, 1971.
29. Кузин Л.Т. , Флоренцев С.Н. , Хорошевский В.Ф. Реализация грамматических конструкций на вычислительных машинах . Семиотические методы управления в больших системах. Москва, 1971.
30. Климов Анд.В. , Романенко С.А. , Турчин В.Ф. Компилятор с языка РЕФАЛ. Препринт. ИПМ. Москва, 1972.
31. Флоренцев С.Н. , Храмов А.А. , Эйсымонт Л.К. Транслятор алгоритмического языка ФОРТРАН-ЦЕРН в ассемблер, написанный на РЕФАЛе. Математическое обеспечение АСУ. Москва, 1972.
32. Турчин В.Ф. Описание аналитических преобразований с помощью рекуррентных соотношений в рамках языка РЕФАЛ. Вычислительная математика и вычислительная техника, N 3. ФТИНТ. Харьков, 1972.
33. Турчин В.Ф. Эквивалентные преобразования рекурсивных функций, описанных на языке РЕФАЛ. Сб.: Теория и методы построения систем программирования. Труды симпозиума в Алуште. Киев - Алушта, с. 31-42, v. , N . , 1972.
34. Turchin V.F. ed2k://|file|[Partial.Evaluation].Turchin.-.E`kvivalentnye.preobrazovaniya.rekursivnyx.funkcij,.opisannyx.na.yazyke.Refal.(1972)(facsimile)(ru).djvu|238026|328D1B35DE180129A696397CF3664340|/. . , 1972.
35. Turchin V.F. ed2k://|file|[Partial.Evaluation].Turchin.-.E`kvivalentnye.preobrazovaniya.rekursivnyx.funkcij,.opisannyx.na.yazyke.Refal.(1972)(ru).djvu|44929|1352322612C6ABC83A70F66DC95D42D0|/. . , 1972.
36. Романенко С.А. , Климов Анд.В. , Турчин В.Ф. Теоретические основы синтаксического отождествления в языке РЕФАЛ. Препринт, N 13. ИПМ. Москва, 1973.
37. Шахбазян К.В. , Тушкина Т.А. Метод ветвей и границ для задачи параллельного упорядочения. Записки научных семинаров ЛОМИ.Численные методы и автоматизация программирования, v. 35. ЛОМИ. Ленинград, 1973.
38. Кузин Л.Т. , Флоренцев С.Н. , Перминов О.Н. Вопросы программной и информационной совместимости ЭВМ "Минск-32" и ЕС ЭВМ. Обработка данных в системах управления. Материалы семинара. Москва, 1973.
39. Хорошевский В.Ф. , Клыков Ю.И. , Загадская Л.С. Модульная система математического обеспечения ситуационного управления. Известия АН СССР. Техническая кибернетика, N 2. Москва, 1973.
40. Флоренцев С.Н. , Перминов О.Н. , Храмов А.А. Язык диалога для системы программирования ДИАФАЛ. Математическое обеспечение управления и информационных систем.Материалы семинара. Москва, 1973.
41. Бобкова О.Ф. , Кузнецова И.Н. , Лебедев Л.Ф. , Лунева Л.И. , Макарова З.И. , Хвостунова Г.П. Реализация РЕФАЛ-интерпретатора на ЭВМ М-220. Языки программирования и методы их реализации. ИК. Киев, 1973.
42. Бобкова О.Ф. , Кузнецова И.Н. , Лебедев Л.Ф. , Лунева Л.И. Об использовании языка РЕФАЛ при создании программного обеспечения для проектирования информационно-вычислительных устройств . Языки программирования и методы их реализации. ИК. Киев, 1973.
43. Турчин В.Ф. Базисный РЕФАЛ. Описание языка и основные приемы программирования (методические рекомендации) . Фонд алгоритмов и программ в отрасли "Строительство", v. 5, N 33. ЦНИПИАСС. Москва, 1974.
44. Климов Анд.В. , Романенко С.А. , Травкина Е.В. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6 . Препринт. ИПМ. Москва, 1974.
45. Фисун В.А. РЕФАЛ (Описание языка и инструкция для РЕФАЛ-интерпретатора). Математическое обеспечение БЭСМ-6. ИПМ. Москва, 1974.
46. Лебедев Л.Ф. О реализации РЕФАЛ-интерпретатора на ЭВМ М-220. Кибернетика, N 3. ИПМ. Москва, 1974.
47. Хорошевский В.Ф. , Красовский А.Г. , Флоренцев С.Н. Программное обеспечение моделей искусственного интеллекта. Искусственный интеллект.Итоги и перспективы. Москва, 1974.
48. Задыхайло И.Б. , Мямлин А.Н. , Смирнов В.К. , Эйсымонт Л.К. Об эффективной аппаратной реализации языка для описания объектов на уровне понятий и символьных преобразований. Искусственный интеллект.Итоги и перспективы. Москва, 1974.
49. Турчин В.Ф. Проект системы РЕФАЛ-Макрокод для ЭВМ "Минск-32". Автоматизированная система управления строительством. Труды ЦНИПИАСС, N 4. ЦНИПИАСС. Москва, 1974.
50. Турчин В.Ф. Эквивалентные преобразования программ на РЕФАЛе. Автоматизированная система управления строительством. Труды ЦНИПИАСС, N 6. ЦНИПИАСС. Москва, 1974.
51. Зеленецкий С.Д. , Красовский А.Г. , Моисеев Н.В. , Флоренцев С.Н. , Хорошевский В.Ф. Транслятор КОБОЛ-Автокод для ЭВМ типа БЭСМ-4, М-220, М-222. Математическое обеспечение АСУ. Москва, 1974.
52. Волченков Н.Г. , Кокорев В.А. , Преображенский А.Б. Использование семиотических методов для решения задачи автоматизации построения сетевых моделей строительства. Математическое обеспечение АСУ. Москва, 1974.
53. Лебединский М.М. Организация псевдомассивов на РЕФАЛе. Записки научных семинаров ЛОМИ.Численные методы и автоматизация программирования, v. 48. ЛОМИ. Ленинград, 1974.
54. Кузнецова И.Н. , Лебедев Л.Ф. , Смирнова С.Л. РС-М-222 - система для построения программного обеспечения. Языки системного программирования и методы их реализации. ИК. Киев, 1974.
55. Керсон В.В. , Шагимарданов Н.Ш. , Шифрин Е.И. О выделении независимых групп контактов в схемах электрических соединений. Вопросы радиоэлектроники. Серия "Электронная вычислительная техника", N 4. Москва, 1974.
56. Turchin V.F. ed2k://|file|[Partial.Evaluation].Turchin.-.E`kvivalentnye.preobrazovaniya.programm.na.Refale.(CNIPIASS,1974)(ru).djvu|536702|F823C17E6823561843F9C1BAA724336A|/. . , 1974.
57. Лебедев Л.Ф. , Лунева Л.И. , Любимова Н.А. О реализации макросистемы "МАРС" на ЭВМ М-222. Труды Всесоюзного семинара по вопросам макрогенерации. ВЦ АН ГССР. Тбилиси, 1975.
58. Турчин В.Ф. РЕФАЛ-макрокод. Труды Всесоюзного семинара по вопросам макрогенерации. ВЦ АН ГССР. Тбилиси, 1975.
59. Климов Анд.В. , Проворов Л.В. , Романенко С.А. , Травкина Е.В. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. Препринт, N 8. ИПМ. Москва, 1975.
60. Пригарин М.И. Транслятор для языка ДДЛ. Кибернетика, N 1. Киев, 1975.
61. Климов Анд.В. , Романенко С.А. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. Препринт. ИПМ. Москва, 1975.
62. Ромашкевич А.П. Фрагмент диалоговой системы построения информационной модели в ситуационном управлении. Техническая кибернетика, N 4. Москва, 1975.
63. Флоренцев С.Н. , Хорошевский В.Ф. , Красовский Н.Г. Принципы реализации языка РЕФАЛ на малых машинах. Некоторые вопросы кибернетики, N 2. МИФИ. Москва, 1975.
64. Топунов В.Л. Определение совместимости и вычисление произвола системы дифференциальных уравнений с помощью ЭВМ . Вычислительная математика и математическая физика, N 2. Москва, 1975.
65. Задыхайло И.Б. , Котов Е.И. , Красовский А.Г. , Мямлин А.Н. , Смирнов В.К. О повышении эффективности символьных преобразований . Препринт, N 15. ИПМ. Москва, 1975.
66. Задыхайло И.Б. , Котов Е.И. , Мямлин А.Н. , Поздняков Л.А. , Смирнов В.К. Вычислительная система с внутренним языком повышенного уровня . Препринт, N 41. ИПМ. Москва, 1975.
67. Задыхайло И.Б. , Котов Е.И. , Мямлин А.Н. , Поздняков Л.А. , Скороход Н.С. , Смирнов В.К. Базовая система повышенной квалификации . Отчет Л2-221. ИПМ. Москва, 1975.
68. Жокин Ю.Н. , Минасова С.Н. , Наумов Н.А. , Смирнов В.К. Система автоматизации разработки микропрограммного обеспечения . Препринт. ИПМ. Москва, 1975.
69. Бычков С.П. Особенности реализации языка моделирования СИМУЛА-1 . Некоторые вопросы кибернетики, N 2. МИФИ. Москва, 1975.
70. Тушкина Т.А. Методы и программы генерирования случайных графов. Записки научных семинаров ЛОМИ.Вычислительные методы линейной алгебры.Параллельные вычисления , v. 54. ЛОМИ. Ленинград, 1975.
71. Севастьянов В.А. Вероятностный генератор тестов для КС-грамматик . Вычислительная техника и вопросы кибернетики, N 12. Ленинград, 1975.
72. Бахтадзе Т.О. РЕФАЛ - универсальный алгоритмический язык рекурсивных функций. Техническая кибернетика. Труды проблемной лаборатории автоматики и ВТ, N 5. Тбилиси, 1975.
73. Проскурин М.И. , Смирнов В.К. , Юдина М.Л. Микропрограммный процессор. Препринт, N 27. ИПМ. Москва, 1975.
74. Boyer,Moore ed2k://|file|Boyer,Moore.-.Proving.Theorems.About.LISP.Functions.(1975).pdf|866623|AA94A49DEA95486A8F84A6EBAF4077DB|/. . , 1975.
75. Burstall,Darlington ed2k://|file|Burstall,Darlington.-.Some.Transformations.for.Developing.Recursive.Programs.(1975)[Partial.Evaluation].pdf|642647|9D8C2EAA58AC3174A1AF0CFC69A9201D|/. . , 1975.
76. Арсентьева Н.Г. , Яснова Э.К. Опыт программирования одной лингвистической задачи на языке РЕФАЛ. Препринт, N 113. ИПМ. Москва, 1976.
77. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Istoriya.Refal-kompilyatora.(1976)(ru).djvu|60718|CE2D68251614A74E877EB5E2C502EB5A|/. . , 1976.
78. Ромашкевич А.П. Диалоговая система построения информационной модели. Вопросы кибернетики. Теория практика ситуационного управления, N 18. Москва, 1977.
79. Эйсымонт Л.К. О возможности параллельных схем реализации одного языка для описания задач переработки текстовой информации. Управляющие системы и машины, N 2. Москва, 1977.
80. Кузин Л.Т. , Храмов А.А. Вопросы использования метаязыков для программы обеспечения систем искусственного интеллекта. Инженерно-математические методы в физике и кибернетике, N 6. МИФИ. Москва, 1977.
81. Попов С.В. Некоторые стратегии поиска вывода в автоматическом доказательстве теорем. Инженерно-математические методы в физике и кибернетике, N 6. МИФИ. Москва, 1977.
82. Жданов В.Н. , Короткова М.А. , Крысанов А.И. , Попов С.В. Методы автоматического поиска доказательств. Препринт, N 30. ИПМ. Москва, 1977.
83. Климов Анд.В. , Климов Арк.В. , Красовский А.Г. , Романенко С.А. , Травкина Е.В. , Турчин В.Ф. , Хорошевский В.Ф. , Щенков И.Б. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, v. 5, N 40. Москва, 1977.
84. Красовский А.Г. , Флоренцев С.Н. , Хорошевский В.Ф. РЕФАЛ. Часть1. Описание языка и приемы программирования. . МИФИ. Москва, 1977.
85. Сукумаран Наир Ч.П. Автоматизация проектирования интерпретирующей системы языков искусственного интеллекта. Труды МЭИ. Автоматизация проектирования, тематический сборник, N 343. МЭИ. Москва, 1977.
86. Мямлин А.Н. Описание трансляторов "ТРИКС". Отчет Л2-290. ИПМ. Москва, 1977.
87. Бычков С.П. , Перевицкий О.В. , Фисун В.А. Входной язык компилятора ДИНАМО для БЭСМ-6. Математическое обеспечение моделирования сложных систем. Тезисы доклада, N 1. Киев, 1977.
88. Кириков И.А. , Колесников А.В. Транслятор "Входной язык - РХ-коды" в системе автоматизации обучения семиотических моделей (САОС). Труды КПТИРХ.Вопросы создания АСУ, N 74. ГИВЦ Госкомиздата. Калининград, 1977.
89. Озеркова В.Г. , Рубин А.Г. , Синицын В.Н. Подключение специализированного микропроцессора к ЕС ЭВМ через стандартный интерфейс ввода-вывода. 1-я международная конференция молодых ученых по проблемам проектирования и применения дискретных систем в управлении. Минск, 1977.
90. Burstall,Darlington ed2k://|file|Burstall,Darlington.-.A.Transformation.System.for.Developing.Recursive.Programs.(1977)[Partial.Evaluation].pdf|1331306|0BCB2CA8359F9E4A9AD62857235FEADE|/. . , 1977.
91. Информационно-программное обеспечение систем искусственного интеллекта. Материалы семинара . Москва, 1978.
92. Организация вычислительного процесса в ВЦ, оснащенном ЭВМ единой системы. Материалы Всесоюзного семинара 16-18 мая 1977 г.. Москва, 1978.
93. Красовский А.Г. Автоматизация проектирования МО для СЦВМ с помощью БСПРМО. Автоматизация проектирования. Москва, 1978.
94. Кузин Л.Т. , Храмов А.А. , Эйсымонт Л.К. , Платонова Л.Н. Структуры данных компилятора ФОРТРАН IV(GR). Отчет по теме N 76093818.Б712906. МИФИ. Москва, 1978.
95. Мямлин А.Н. , Задыхайло И.Б. , Эйсымонт Л.К. , Платонова Л.Н. Сравнение компилятора ФОРТРАН IV(GR)с компиляторами ФОРТРАН IV(G), ФОРТРАН IV(H). Отчет Л2-336. ИПМ. Москва, 1978.
96. Романенко С.А. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. ИПМ. Москва, 1978.
97. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Mashinno-nezavisimyj.kompilyator.s.yazyka.rekursivnyx.funkcij.(PhD.Thesis)(1978)(ru).djvu|10028188|6CD229E03CC886C65C2EA99CA0368B5A|/. . , 1978.
98. Игнатьев А.И. , Харитонов Ю.И. Разложение прямого произведения неприводимых представлений группы SU(3). Препринт, N 475. ЛИЯФ. Ленинград, 1979.
99. Автоматизированные системы управления в рыбной промышленности. Труды КТИРПХ, N 85. КТИРПХ. Калининград, 1979.
100. Мямлин А.Н. , Задыхайло И.Б. , Платонова Л.Н. , Эйсымонт Л.К. Исследования процессов параллельного выполнения компилирующих программ некоторого типа. Отчет Л2-341. ИПМ. Москва, 1979.
101. Мямлин А.Н. , Смирнов В.К. , Ковалев Э.С. , Меламед В.И. , Рубин А.Г. , Тульский В.П. , Пржебловская С.И. Специализированный символьный процессор. Всесоюзная конференция "Технология программирования". Тезисы докладов. ИК . Киев, 1979.
102. Ефимкин К.Н. , Задыхайло И.Б. Восстановление описаний входных строк для программ, написанных на ЯСП. Препринт, N 195. ИПМ . Москва, 1979.
103. Мыльников А.Б. Макроассемблер для ЕС ЭВМ, написанный на РЕФАЛЕ. Дипломный проект МИФИ. Каф.кибернетики. МИФИ . Москва, 1979.
104. Мямлин А.Н. , Задыхайло И.Б. Результаты экспериментального исследования одной системы символьной обработки. Отчет Л2-335. ИПМ . Москва, 1979.
105. Собеневский А.Г. Разработка и реализация компилятора с языка системного программирования АСТРА-ЕС для ЕС ЭВМ . Дипломный проект МИФИ, каф.кибернетики. МИФИ . Москва, 1979.
106. Хорошевский В.Ф. ATNL - язык представления лингвистических знаний в естественно-языковых системах. Вопросы кибернетики, Совет по кибернетике АН СССР. Москва, 1979.
107. Turchin V.F. A Supercompiler System Based on the Language REFAL . SIGPLAN Notices, v. 14, N 2. New York, 1979.
108. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Mashinno-nezavisimyj.kompilyator.s.yazyka.rekursivnyx.funkcij.(avtoreferat)(1979)(ru).djvu|497719|ABE8EA19FCBF8635A888A413845BEBE2|/. . , 1979.
109. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Mashinno-nezavisimyj.kompilyator.s.yazyka.rekursivnyx.funkcij.(avtoreferat)(bitonal)(1979)(ru).djvu|765125|EE4BFCEC581D38D17CB07F4A76317A9F|/. . , 1979.
110. Turner ed2k://|file|[Functional.Programming].Turner.-.A.new.implementation.technique.for.applicative.languages.(1979)(bitonal).djvu|425346|7C274DD5AAA20C871DD4859565A376A2|/. . , 1979.
111. Abramov S.M. ed2k://|file|[Partial.Evaluation].Abramov.-.Obobshhennyj.algoritm.otozhdestvleniya.dlya.yazyka.Refal.+.prilozheniya.(1979)(ru).djvu|1495037|4C9267A3FD9D4F2C499AB3099349F880|/. . , 1979.
112. Методические материалы по применению пакета прикладных программ "ДИАФАЛ".Часть 1. Описание применения. Методические материалы и документация по ППП, N 4. МЦНТИ. Москва, 1980.
113. Методические материалы по применению пакета прикладных программ "ДИАФАЛ".Часть 2. Руководство прикладного программиста. Методические материалы и документация по ППП, N 4. МЦНТИ. Москва, 1980.
114. Методические материалы по применению пакета прикладных программ "ДИАФАЛ".Часть 3. Руководство системного программиста. Методические материалы и документация по ППП, N 4. МЦНТИ. Москва, 1980.
115. Turchin V.F. The Language REFAL, the Theory of Compilation and Metasystem Analysis. Technical Report, N 18. New York, 1980.
116. Turchin V.F. Semantic Definitions in REFAL and Automatic Production of Compilers. Lecture Notes in Computer Science, N 94. New York, 1980.
117. Turchin V.F. The Use of Metasystem Transition in Theorem Proving and Program Optimization. Automata, Languages and Programming, The 7-th Colloquim Lecture Notes in Computer Science , N 85. New York, 1980.
118. Арсентьев В.Н. , Никитин А.В. Лингвистические преобразования графической информации в системах автоматизации проектирования. Алгоритмы и системы автоматизации исследования и проектирования . Москва, 1980.
119. Ганжа В.Г. , Мурзин Ф.А. , Шапеев В.П. Два алгоритма вычисления в символьном виде определителей разреженных матриц и их реализация на ЭВМ . Препринт , N 24. ИТПМ. Новосибирск, 1980.
120. Ильинский Н.И. , Кузин Л.Т. Интеллектуальная система программирования. Предварительная публикация . Научный совет по комплексной проблеме "Кибернетика". Москва, 1980.
121. Пректирование интеллектуальных систем. . Таллинн, 1980.
122. Автоматизация производства пакетов прикладных программ(Автоматизация производства трансляторов). Тезисы докладов. Таллинн, 1980.
123. Колесников А.В. , Кириков И.А. Языки программирования для семиотических моделей в подсистемах оперативного управления транспортными системами. Труды КТИРПХ, N 92. КТИРПХ. Калининград, 1980.
124. Экспериментальная система обучения языку РЕФАЛ на базе автоматизированной обучающей системы. Вычислительная техника в автоматизированных системах контроля и управления. Межвузовский сборник научных трудов , N 10. ПЕНПИ. Пенза, 1980.
125. Андрианов А.Н. , Бычков С.П. , Хорошилов А.И. Реализация языка СИМУЛА-67 на ЭВМ БЭСМ-6. Материалы по математическому обеспечению ЭВМ СО АН СССР . Иркутск, 1980.
126. Мямлин А.Н. , Смирнов В.К. , Задыхайло И.Б. Процессор для обработки текстовой информации. Параллельное программирование и высокопроизводительные системы , N 1. ВЦ ЛГУ. Ленинград, 1980.
127. Мансуров В.Н. Некоторые проблемы внешнего математического обеспечения высокопроизводительных вычислителььных систем. Материалы конференции "Параллельное программирование и высокопроизводительные системы" , N 2. ВЦ СОАН. Новосибирск, 1980.
128. Мямлин А.Н. , Задыхайло И.Б. , Эйсымонт Л.К. Язык символьного процессора (первая редакция). Отчет Л2-352. ИПМ. Москва, 1980.
129. Задыхайло И.Б. , Мямлин А.Н. , Платонова Л.Н. , Эйсымонт Л.К. Исследование процессов параллельного выполнения компилирующих программ некоторого типа. Препринт, N 124. ИПМ. Москва, 1980.
130. Мямлин А.Н. , Задыхайло И.Б. , Смирнов В.К. , Эйсымонт Л.К. , Качков В.П. Специализированный символьный процессор на базе микропрограммного процессора ЕС 2635, книга 1. Концепции и возможности. Отчет Л2-351, N 124. ИПМ. Москва, 1980.
131. Наумов Н.А. Некоторые вопросы структурного проектирования. Препринт, N 63. ИПМ. Москва, 1980.
132. Ефимкин К.Н. , Задыхайло И.Б. О верификации программ на одном языке. Программирование, N 2. ИПМ. Москва, 1980.
133. Андрианов А.Н. Компилятор с языка СИМУЛА-67 для БЭСМ-6. Препринт. ИПМ. Москва, 1980.
134. Мямлин А.Н. АЛФОР - конвертер для перевода с языка АЛГОЛ в ФОРТРАН. Отчет Л2-347. ИПМ. Москва, 1980.
135. Галлиулин А.Н. , Ганжа В.Г. , Мурзин Ф.А. , Шапеев В.П. , Яненко Н.Н. Применение символьных преобразований на ЭВМ для построения и анализа разностных схем. Препринт, N 7. ИТПМ. Новосибирск, 1981.
136. Дуванов А.А. , Мурзин Ф.А. , Шапеев В.П. Аналитическое дифференцирование функций на ЭВМ. Препринт, N 4. ИТПМ. Новосибирск, 1981.
137. Сохранская В.С. , Тушкина Т.А. Эксперимент по распараллеливанию вычислительных процессов, моделируемых биологическими графами. Записки научных семинаров ЛОМИ. Численные методы и вопросы организации вычислений, v. 111, N 5. ЛОМИ. Ленинград, 1981.
138. Головков С.Л. , Наумов Н.А. О конструировании алгоритмов распределения памяти управления. Препринт, N 126. ИПМ. Москва, 1981.
139. Толмачев И.Л. Бухгалтерский учет материальных ценностей в ВУЗе на ЭВМ третьего поколения (методические рекомендации) . . Москва, 1981.
140. Ганжа В.Г. , Мурзин Ф.А. , Шапеев В.П. Реализация алгоритма скобок Пуассона на ЭВМ . Численные методы механики сплошной среды. Современные алгоритмы в механике. Сборник научных трудов, v. 12, N 4. ИТПМ. Новосибирск, 1981.
141. Галлиулин А.Н. , Ганжа В.Г. , Мазурик С.И. , Мурзин Ф.А. , Шапеев В.П. , Яненко Н.Н. Применение ЭВМ для исследования разностных схем . Доклады Академии наук СССР, v. 261, N 5. Москва, 1981.
142. Наумов Н.А. , Рубин А.Г. Об одном способе реализации входных языков для символьного процессора. Препринт. ИПМ. Москва, 1981.
143. Поспелов Г.С. , Поспелов Д.А. Системный анализ и искусственный интеллект. Препринт. ИПМ. Москва, 1981.
144. Колесников А.В. Об одном подходе к формализации состояния системы "Транспортный узел". Проблемы системотехники в АСУ.Межвузовский сборник, N 4. МЦНТИ. Москва, 1981.
145. Тишкин В.Ф. , Шашков М.Ю. , Щенков И.Б. Автоматизация программирования операторных разностных схем. Препринт, N 20. ИПМ. Москва, 1981.
146. Чхаидзе Л.Л. , Шенгелия Л.В. , Шенгелия Н.В. К вопросу разработки диалога с ЭВМ на языке, близком к естественному грузинскому языку. Труды Тбилисского государственного университета. Кибернетика, прикладная математика, v. 224, N 3. ТГУ. Тбилиси, 1981.
147. Резников И.Г. , Стеллецкий В.И. , Топунов В.Л. Некоторые стандартные РЕФАЛ-функции. Всесоюзная конференция по методам трансляции. Тезисы докладов. ВЦ СОАН. Новосибирск, 1981.
148. Бельтюков А.П. , Резников И.Г. Дедуктивный синтез РЕФАЛ-программ контролируемой вычислительной сложности. Всесоюзная конференция "Синтез, тестирование, верификация и отладка программ". Тезисы докладов. Рига, 1981.
149. Наумов Н.А. , Смирнов В.К. О синтезе и отладке микропрограммных алгоритмов. Всесоюзная конференция "Синтез, тестирование, верификация и отладка программ". Тезисы докладов. Рига, 1981.
150. Керов Л.А. , Скорубский В.И. Применение машинного доказательства теорем для проверки микропрограмм на языке МИКРО-ПАСКАЛЬ. Всесоюзная конференция "Синтез, тестирование, верификация и отладка программ". Тезисы докладов. Рига, 1981.
151. Ефимкин К.Н. , Задыхайло И.Б. , Шарипбаев А.А. О проверке некоторых свойств программ ЯСП. Всесоюзная конференция "Синтез, тестирование, верификация и отладка программ". Тезисы докладов. Рига, 1981.
152. Шарипбаев А.А. О некоторых вопросах верификации программ ЯСП. Современные методы и средства программирования. Москва, 1981.
153. Красовский А.Г. Библиотечная система поддержки разработки математического обеспечения. Современные методы и средства программирования. ВЦ АН ГССР, МДНТП. Москва, 1981.
154. Эйсымонт Л.К. Элементы языка символьного процессора. Современные методы и средства программирования. Москва, 1981.
155. Мямлин А.Н. Исследование работы специализированного символьного процессора и предложения по его усовершенствованию. Отчет Л2-368. Москва, 1981.
156. Абрамов С.М. , Кондратьев Н.В. Компилятор, основанный на методе частичных вычислений. Некоторые вопросы прикладной математики и программного обеспечения ЭВМ. МГУ. Москва, 1982.
157. Гурин Р.Ф. Выходные блоки компилятора языка РЕФАЛ. Некоторые вопросы прикладной математики и программного обеспечения ЭВМ. МГУ. Москва, 1982.
158. Ильинский Н.И. , Кузин Л.Т. , Мясников А.В. , Стрижевский В.С. РЕГЕНД - реляционный подход к генерации программ обработки данных. Прикладная информатика, N 1. Москва, 1982.
159. Головков С.Л. , Наумов Н.А. , Смирнов В.К. О некоторых новых средствах языка рекурсивных функций. Препринт, N 6. Москва, 1982.
160. Интеллектуальные банки данных. , N . МИФИ. Москва, 1982.
161. Ганжа В.Г. , Мелешко С.В. , Мурзин Ф.А. Анализ на совместность систем дифференциальных уравнений на ЭВМ. Препринт, N 20. ИТПМ. Новосибирск, 1982.
162. Керов Л.А. , Скорубский В.И. , Суворов П.Ю. , Экало Ю.В. Верификация программ (обзор). Цифровые устройства и микропроцессоры, N 5. ЛИТМО. Рига, 1982.
163. Проворов Л.В. , Штаркман В.С. АЛЬКОР: система аналитических вычислений.Выпуск 1. Описание входного языка. Препринт, N 61. ИПМ. Москва, 1982.
164. Проворов Л.В. , Штаркман В.С. АЛЬКОР: система аналитических вычислений.Выпуск 2. Работа со степенными рядами,новые возможности системы. Препринт, N 166. ИПМ. Москва, 1982.
165. Задыхайло И.Б. , Эйсымонт Л.К. Язык символьного процессора. Отчет Л2-417, N 423. ИПМ. Москва, 1982.
166. Романенко С.А. РЕФАЛ-2. Входной язык компилятора. Инструкция. ИПМ. Москва, 1982.
167. Turchin V.F. Experiments with a Supercompiler. Preprint. New York, 1982.
168. Романенко С.А. REFAL', recursi-funkcia algoritma lingvo por tractado de simbolaj e sprimoj. Teoriaj kaj prakikaj problemoj de la programado pelegojde. Budapest, 1982.
169. Крамарская Т.А. О реализации языков моделирования интегральных микросхем и их элементов. Электронное моделирование, N 2. Москва, 1983.
170. Дехтярь М.И. Замечание о сложности задачи синтаксического отождествления для языка рекурсивных функций. Математическая логика, математическая лингвистика и теория алгоритмов. Калинин, 1983.
171. Романенко С.А. Применение смешанных вычислений к ассемблерам и загрузчикам. Препринт, N 27. ИПМ. Москва, 1983.
172. Шашков М.Ю. , Щенков И.Б. Использование символьных преобразований для построения разностных операторов. Препринт, N 48. ИПМ. Москва, 1983.
173. Ефимкин К.Н. , Задыхайло И.Б. , Пименов С.П. , Шарипбаев А.А. Алгоритмы частичной верификации программы на ЯСП и их оценки. Препринт, N 48. ИПМ. Москва, 1983.
174. Мямлин А.Н. , Задыхайло И.Б. , Эйсымонт Л.К. Сравнение языка рекурсивных функций и языка ЛИСП как основы для разработки входного языка символьного процессора. Отчет Л2-446. ИПМ. Москва, 1983.
175. Преображенский А.Б. , Хорошевский В.Ф. Многоцелевая интеллектуальная вопросно-ответная система (МИВОС). Диалоговые системы в АСУ. Москва, 1983.
176. Эйсымонт Л.К. Выбор и оценка элементов базисного языка символьного процессора. Автореферат кандидатской диссертации. ИПМ. Москва, 1983.
177. Климов Анд.В. Применение концепции смешанных вычислений для конструирования объектно-ориентированного функционального языка программирования. Семиотические аспекты формализации и интеллектуальной деятельности. Школа-семинар "Телави-83". Тезисы докладов и сообщений . Москва, 1983.
178. Романенко А.Ю. О параллельной реализации языка РЕФАЛ. Семиотические аспекты формализации и интеллектуальной деятельности. Школа-семинар "Телави-83". Тезисы докладов и сообщений . Москва, 1983.
179. Turchin V.F. ed2k://|file|[Metamathematics].Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu|4150006|E21E76E61F22C79913AF3A0E1B9C02D9|/. . , 1983.
180. Romanenko S.A. ed2k://|file|[Partial.Evaluation].Romanenko.-.Primenenie.smeshannyx.vychislenij.k.assembleram.i.zagruzchikam.(1983)(ru).djvu|276563|F04715376B707EB96568F3EC35457690|/. . , 1983.
181. Boyer,Moore ed2k://|file|Boyer,Moore.-.A.Mechanical.Proof.of.the.Unsolvability.of.the.Halting.Problem.(1984).pdf|867250|A041F8A5C0091D9D0FB69D16573E6EF7|/. . , 1984.
182. Murzin F.A. Syntactic properties of the REFAL language. Int. J. Computer Maths.,17:123-139, v. . , 1985.
183. Johnsson ed2k://|file|[Functional.Programming].Johnsson.-.Lambda.Lifting.-.Transforming.Programs.to.Recursive.Equations.(1985).djvu|50518|B9438B27C6BFA1D8CA9A8C475CEC99BD|/. . , 1985.
184. Klimov A.V., Romanenko S.A. ed2k://|file|[Functional.Programming].Klimov,.Romanenko.-.Refal-2..Opisanie.biblioteki.funkcij.(1986)(ru).djvu|782214|B95E40940DD527C2CE0B6B7078F5FC86|/. . , 1986.
185. Turchin V.F. ed2k://|file|[Partial.Evaluation].Turchin.-.The.concept.of.a.supercompiler.(1986).pdf|2802928|3525BE84D72624F076ADDEEC136D1C74|h=DRJUH2BSUBQA7KYFXLI7INZ2SVQTXU2C|/. . , 1986.
186. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Generator.kompilyatorov,.porozhdennyj.samoprimeneniem.specializatora....(1987)(ru).djvu|820639|2AFAA245EDA2244D1A136947F73B9A2F|/. . , 1987.
187. Turchin V.F. ed2k://|file|[Metamathematics].Turchin.-.A.Constructive.Interpretation.of.the.Full.Set.Theory.(1987).djvu|257231|E5956C5D900C64418DB919DE30C9F45C|/. . , 1987.
188. Klimov A.V., Romanenko S.A. ed2k://|file|[Partial.Evaluation].Klimov,.Romanenko.-.Metavychislitel`.dlya.yazyka.Refal.(1987)(ru).djvu|392214|C3DB656E96C371928C878F2D65F4C72C|/. . , 1987.
189. Klimov A.V., Romanenko S.A. ed2k://|file|[Functional.Programming].Klimov,.Romanenko.-.Refal-2..Opisanie.vxodnogo.yazyka.(1987)(ru).djvu|1133299|8FAE6D9A83CF457A5CB14C3C29F911F8|/. . , 1987.
190. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Realizaciya.Refala-2.(1987)(ru).djvu|4076252|0301D9471F27B196BD1BC5F98A9FDB22|/. . , 1987.
191. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Refal-2..Kompilyaciya.i.ispolnenie.Refal-programm.(1987)(ru).djvu|881705|F972B07FDA84D33346B6BFA1FEF3F7D3|/. . , 1987.
192. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Refal-2..Interfejs.Refala.i.PL-1.(1987)(ru).djvu|1631755|C6EFA7D7592227F86344807A1EE9E693|/. . , 1987.
193. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Progonka.dlya.programm.na.Refale-4.(1987)(ru).djvu|394892|017E5BE48B066FC327A95DB2D5E1AB28|/. . , 1987.
194. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Refal-4.-.rasshirenie.Refala-2.(1987)(ru).djvu|541414|4F966EF62F402242B1C8D67A29F449F7|/. . , 1987.
195. Turchin V.F. ed2k://|file|[Partial.Evaluation].Turchin.-.The.Algorithm.of.Generalization.in.the.Supercompiler.(1988).djvu|295716|9BDEBFE0F71B36CB640B55E5F629E14D|/. . , 1988.
196. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.A.Compiler.Generator.Produced.by.a.Self-Applicable.Specializer....(1988).djvu|58639|7B141F80097A5B71B1D7DF68E17DFE8C|/. . , 1988.
197. Abramov S.M., Romanenko S.A. ed2k://|file|[Functional.Programming].Abramov,.Romanenko.-.Predstavlenie.ob``ektnyx.vyrazhenij.massivami.pri.realizacii.yazyka.Refal.(1988)(ru).djvu|428363|7B56B201F736A90C038F2065D2CBDE7A|/. . , 1988.
198. Danvy, Filinski ed2k://|file|[Functional.Programming].Danvy,.Filinski.-.A.Functional.Abstraction.of.Typed.Contexts.(DIKU,1989).djvu|224105|AE67C60C81E91BAF4603E706C1E21962|/. . , 1989.
199. Hudak ed2k://|file|Hudak.-.Conception,.Evolution,.And.Application.Of.Functional.Programming.Languages.(1989).djvu|413552|910D1AFF710BC81C1A9E5AC24D9CDF70|/. . , 1989.
200. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Programmirovanie.na.yazyke.RL2.(1989)(ru).djvu|641758|FB97A8118D689FAB3A733C84314EA1EC|/. . , 1989.
201. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Kompilyaciya.Refal-programm.na.RL.(1989)(ru).djvu|100166|272DDAC11450555B0A7B57335381E928|/. . , 1989.
202. Romanenko S.A. ed2k://|file|[Functional.Programming].Romanenko.-.Sintaksis.i.semantika.yazyka.RL2.(1989)(ru).djvu|312589|FCE8C34693954EED5B93474C722120A0|/. . , 1989.
203. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Arity.Raiser.and.its.Use.in.Program.Specialization.(1990).djvu|170908|EDC6CB5E6BD0A6944FBDD3F22DAF81FE|/. . , 1990.
204. Romanenko S.A. ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Povyshatel`.arnosti.i.ego.ispol`zovanie.pri.specializacii.programm.(1990)(ru).djvu|122357|5A4B5C9F5303F439B3635C7609C60D47|/. . , 1990.
205. Danvy, Filinski ed2k://|file|[Functional.Programming].Danvy,.Filinski.-.Abstracting.Control.(1990).djvu|87126|433F4F7F8E9D0151E299F3DE50D1ADE3|/. . , 1990.
206. Romanenko S.A., Gurin R.F. ed2k://|file|[Functional.Programming].Romanenko,.Gurin.-.Realizaciya.Refala.Plyus.-.Kompilyaciya.v.virtual`nyj.kod.(1990)(ru).djvu|54025|379173A9A7B354ACBFAB0538A0FB13E1|/. . , 1990.
207. Romanenko S.A., Gurin R.F. ed2k://|file|[Functional.Programming].Romanenko,.Gurin.-.Realizaciya.Refala.Plyus.-.Virtual`nyj.kod.(1990)(ru).djvu|39862|EE29485067CC8D838183919C057EC304|/. . , 1990.
208. Gurin R.F., Romanenko S.A. ed2k://|file|[Functional.Programming].Gurin,.Romanenko.-.Yazyk.programmirovaniya.Refal.Plyus.(INTERTEX,.1991)(300dpi)(ru).djvu|842708|CBBF1428B4BE6C833C76F46FF3539408|/. . , 1991.
209. Gurin R.F., Romanenko S.A. ed2k://|file|[Functional.Programming].Gurin,.Romanenko.-.Yazyk.programmirovaniya.Refal.Plyus.(INTERTEX,1991)(ru).djvu|2294477|1CB6E4F52041CE4871D76C2D9599976E|/. . , 1991.
210. Meijer, Fokkinga, Paterson ed2k://|file|[Functional.Programming].Meijer,.Fokkinga,.Paterson.-.Functional.Programming.with.Bananas,.Lenses,.Envelopes.and.Barbed.Wire.(1991).djvu|104900|8F1E2DDC001A75C551A3D1189372017A|/. . , 1991.
211. Gurin R.F., Romanenko S.A. ed2k://|file|[Functional.Programming].Gurin,.Romanenko.-.The.Refal.Plus.programming.language.(INTERTEKH,1991).djvu|437523|06D4C126EA45213F8C05AD00EA448A27|/. . , 1991.
212. Gurin R.F.,Romanenko S.A. ed2k://|file|Gurin,Romanenko.-.The.Refal.Plus.programming.language.(INTERTEKH,1991)[Functional.Programming].djvu|437523|06D4C126EA45213F8C05AD00EA448A27|/. . , 1991.
213. Gurin R.F.,Romanenko S.A. ed2k://|file|Gurin,Romanenko.-.The.Refal.Plus.programming.language.(INTERTEKH,1991)[Functional.Programming].pdf|5265764|5DD159A6BFCB561285E61C37B79098AE|/. . , 1991.
214. Gurin R.F.,Romanenko S.A. ed2k://|file|Gurin,Romanenko.-.Yazyk.programmirovaniya.Refal.Plyus.(INTERTEX,1991)(ru)[Functional.Programming].djvu|2294477|1CB6E4F52041CE4871D76C2D9599976E|/. . , 1991.
215. Gurin R.F.,Romanenko S.A. ed2k://|file|Gurin,Romanenko.-.Yazyk.programmirovaniya.Refal.Plyus.(INTERTEX,1991)(ru)[Functional.Programming].pdf|4165421|E6787631F97ECDAA2F0B13EDA8FA3FD1|/. . , 1991.
216. Mogensen ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Self-Applicable.Partial.Evaluation.for.Pure.Lambda.Calculus.(1992).djvu|47801|440D9FB82469D605589F78599858C825|/. . , 1992.
217. Xarper (Robert.Harper) ed2k://|file|[Functional.Programming,.Standard.ML].Xarper.(Robert.Harper).-.Vvedenie.v.Standartnyj.ML.(1993)(ru).djvu|345998|DC6F0019D150C845E3CAB3238069D426|/. . , 1993.
218. Abramov S.M. ed2k://|file|[Partial.Evaluation].Abramov.-.Metacomputation.and.Program.Testing.(1993).djvu|101668|5FB93C3BE4661F1AA7FC104CAC1E7D5D|/. . , 1993.
219. Bondorf, Dussart ed2k://|file|Bondorf,.Dussart.-.Improving.CPS-Based.Partial.Evaluation.-.Writing.Cogen.by.Hand.(1993).djvu|68417|F3893C249A8782EE02FE0DE3EDAD7D88|/. . , 1993.
220. Mogensen ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Efficient.Self-Interpretation.in.Lambda.Calculus.(1994).djvu|91041|D08AC438CACA73E4CB16F2503D941EDF|/. . , 1994.
221. Launchbury, Sheard ed2k://|file|[Functional.Programming,.Partial.Evaluation].Launchbury,.Sheard.-.Warm.Fusion.-.Deriving.Build-Catas.from.Recursive.Definitions.(1995).djvu|83946|E2059645031CA889E5937EE53F2A8188|/. . , 1995.
222. Lawall, Danvy ed2k://|file|[Functional.Programming,.Partial.Evaluation].Lawall,.Danvy.-.Continuation-Based.Partial.Evaluation.lfp94-extended.(1995).djvu|189820|F8B2FE58651A5E68704F96DDE594D3E2|/. . , 1995.
223. Mogensen ed2k://|file|[Functional.Programming,.Partial.Evaluation].Mogensen.-.Self-Applicable.Online.Partial.evaluation.of.the.Pure.Lambda.Calculus.(1995).djvu|94035|92A0F3E0CF315ADE00260920B95DAAB7|/. . , 1995.
224. Romanenko S.A. ed2k://|file|Romanenko.-.Higher-Order.Functions.as.a.Substitute.for.Partial.Evaluation.(A.Tutorial).(1995).djvu|43490|7F5563B32409217BC6A5EBBBB9B57A3F|/. . , 1995.
225. Soerensen,Glueck ed2k://|file|Soerensen,Glueck.-.An.Algorithm.of.Generalization.in.Positive.Supercompilation.(1995)[Partial.Evaluation].pdf|264349|B7ED854DB9EA625E8DA69CEEEA7755FA|/. . , 1995.
226. Hughes ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.An.Introduction.to.Program.Specialisation.by.Type.Inference.(1996).djvu|49176|CC1513BAC951AAF204E697F7DB4010FA|/. . , 1996.
227. Hughes ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.Type.Specialisation.for.the.Lambda-Calculus.(1996).djvu|136118|BA52B3919D8FCDCD0491D308CC652104|/. . , 1996.
228. Thiemann ed2k://|file|[Partial.Evaluation].Thiemann.-.Cogen.in.Six.Lines.ICFP-96.(1996).djvu|95612|1289D7EE66C6BFAC355718781A1C637D|/. . , 1996.
229. Thiemann ed2k://|file|Thiemann.-.Implementing.Memoization.for.Partial.Evaluation,.PLILP-96.(1996).djvu|63696|83CCC79C19BF263F84A77CF32C18664E|/. . , 1996.
230. Soerensen,Glueck,Jones ed2k://|file|Soerensen,Glueck,Jones.-.A.Positive.Supercompiler.(1996)[Partial.Evaluation].pdf|371595|60D5C5030837EA337F4776A9DDA435B3|/. . , 1996.
231. Sperber, Thiemann ed2k://|file|Sperber,.Thiemann.-.Two.for.the.Price.of.One.-.Composing.Partial.Evaluation.and.Compilation.(1997).djvu|90382|615DA0374F61E6172D5A9675646D5C60|/. . , 1997.
232. Hughes ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.A.Type.Specialisation.Tutorial.(1998).djvu|126136|55724CBEA735E9B3023B1C837ABE1809|/. . , 1998.
233. Heine,Soerensen ed2k://|file|Heine,Soerensen.-.Convergence.of.Program.Transformers.in.the.Metric.Space.of.Tree.(1998)[Partial.Evaluation].pdf|356661|D749790BC690CAD0420D910ACE17CB84|/. . , 1998.
234. Seidl,Soerensen ed2k://|file|Seidl,Soerensen.-.Constraints.to.Stop.Higher-Order.Deforestation.(1998)[Partial.Evaluation].pdf|388282|B1C022E52BF9482841BB8E48F67CAC7A|/. . , 1998.
235. Leuschel ed2k://|file|Leuschel.-.On.the.Power.of.Homeomorphic.Embedding.for.Online.Termination.(1998)[Supercompilation,Distillation].pdf|231835|90BB8A2CB1EBD98F56D30490CBC267B8|/. . , 1998.
236. Thiemann ed2k://|file|[Partial.Evaluation].Thiemann.-.Higher-Order.Code.Splicing.ESOP-99.(1999).djvu|79085|9598E2E109DB3C419050FA834F4102EE|/. . , 1999.
237. Thompson ed2k://|file|Thompson.-.Type.Theory.and.Functional.Programming.(1999).djvu|1393363|827204B3764D0FE61A896A3E6F182C8A|/. . , 1999.
238. Thiemann ed2k://|file|[Functional.Programming,.Partial.Evaluation].Thiemann.-.First-Class.Polyvariant.Functions.and.Co-Arity.Raising.(2000).djvu|134623|D54B7E044E82F3DE1BF34280868AB1B9|/. . , 2000.
239. McNamara, Smaragdakis ed2k://|file|McNamara,.Smaragdakis.-.Functional.Programming.in.C++.(2000).pdf|135907|67C5BE01F939BA5ABB1E0D02AA22B187|/. . , 2000.
240. McNamara, Smaragdakis ed2k://|file|McNamara,.Smaragdakis.-.Functional.Programming.in.C++.(2000).djvu|109858|085CB2AFB3E56E0A10C4C4DD94D38B73|/. . , 2000.
241. Jaervi, Powell ed2k://|file|[Functional.Programming].Jaervi,.Powell.-.The.Lambda.Library.-.Lambda.Abstraction.in.C++.(2000).djvu|241867|3AA2ED516957663E452B46D3DBECB53C|/. . , 2000.
242. Fowler ed2k://|file|Fowler.-.Patterns.of.Enterprise.Application.Architecture.-.Two.Step.View.(2003).djvu|112349|E5D3E9B5F412ECB80B0B885B40B487F3|/. . , 2003.
243. Thiemann ed2k://|file|[Functional.Programming,.Partial.Evaluation].Thiemann.-.Continuation-based.Partial.Evaluation.without.Continuations.(2003).djvu|103318|EB941AD4E67E2BEBE12941A8C433CF33|/. . , 2003.
244. ed2k://|file|[Functional.Programming,.Computer.Algebra].Tezisy.dokladov.simpoziuma.po.obrabotke.simvol`noj.informacii.(Tbilisi,.1970)(ru).djvu|390788|688D8E5A276C15AE94AC17457E213DDA|/. . , 2005.
245. ed2k://|file|Alpha-theory.-.an.elementary.axiomatics.for.nonstandard.analysis.djvu|158174|D16CD059315E5D0D81FB22EE1D2275E3|/. . , 2005.
246. ed2k://|file|Arnol`d.V.I..Gyujgens.i.Barrou,.N`yuton.i.Guk.(Nauka,.1989)(ru)(L)(54s).djvu|972942|036B00A9CCA1CE8B8F91F0DCAD0156EA|/. . , 2005.
247. ed2k://|file|Finikov.S.P..Metod.vneshnix.form.Kartana.v.differencial`noj.geometrii.(OGIZ,.1948)(ru)(L)(217s).djvu|5095495|9F863BB6D0771657017E7CC330D5405B|/. . , 2005.
248. ed2k://|file|Kartan.E..Metod.podvizhnogo.repera.(1933)(ru)(70s).djvu|1348451|69F4822BC602E1DF35F35000758715F9|/. . , 2005.
249. ed2k://|file|Mads.Tofte.-.Compiler.Generators.djvu|826909|9881D012224A1B45D43F3E7C75681C58|/. . , 2005.
250. ed2k://|file|Martin.Fowler.-.Two.Stage.Template.from.Patterns.of.Enterprise.Application.Architecture.djvu|120319|B2F63BAF8338EF8E7F1EE41253156E5D|/. . , 2005.
251. ed2k://|file|McKinzie,.Tuckey.-.Higher.Trigonometry,.Hyperreal.Numbers,.and.Euler`s.Analysis.of.Infinities.-.mathmag339-368.djvu|148695|3E9C8494F67234D45707869F3E7F2131|/. . , 2005.
252. ed2k://|file|Newton,.Isaac.-.Mathematic.Principals.Of.Natural.Philosophy.(Book.1,.Section.1).pdf|119529|25D5D73332D7C14F33276F9E24FFC8B2|/. . , 2005.
253. ed2k://|file|PLM.12..I..P..Natanson..Summirovanie.beskonechno.malyx.velichin.(ru)(60s).djvu|330198|D427EDEA176E0AE17C43C8D7E37C9155|/. . , 2005.
254. ed2k://|file|Ponstein.J..Nonstandard.analysis.(2001)(T)(147s).djvu|478664|8AF0DB38647A4CB82DD419B89D0009F5|/. . , 2005.
255. ed2k://|file|Turchin.V.F..-.The.Phenomenon.of.Science.-.A.cybernetic.approach.to.human.evolution.pdf|1349108|33B27995423EF7EA43066677AD1D4757|/. . , 2005.
256. ed2k://|file|Uspenskij..Chto.takoe.nestandartnyj.analiz.(1987).(ru)(128s).djvu|1455731|B4B4F50EA678E70012484021227768A5|/. . , 2005.
257. Hamilton ed2k://|file|Hamilton.-.Poitin,.Distilling.Theorems.From.Conjectures.(2006)[Supercompilation,Distillation].pdf|274954|DB893258AA0FEF01636E20952748C657|/. . , 2006.
258. Hamilton ed2k://|file|Hamilton.-.Distillation,.Extracting.the.Essence.of.Programs.(2007)[Supercompilation,Distillation].pdf|254561|A2515EBE6BD24E731BC9EDD4B6CD143E|/. . , 2007.
259. Hamilton ed2k://|file|Hamilton.-.Distilling.Programs.for.Verification.(2007)[Supercompilation,Distillation].pdf|172686|CF48BA305544DD35494A5A4E9AE775AE|/. . , 2007.
260. Kabir,Hamilton ed2k://|file|Kabir,Hamilton.-.Constructing.Programs.from.Metasystem.Transition.Proofs.(2007)[Supercompilation,Distillation].pdf|393937|466FF2A839BA8E5DA8F40A5D4DACD2A2|/. . , 2007.
261. Kabir,Hamilton ed2k://|file|Kabir,Hamilton.-.Extending.Poitin.to.Handle.Explicit.Quantifiers.(2007)[Supercompilation,Distillation].pdf|371644|0EB5A76B4E2B4D9086E36E910E8A606F|/. . , 2007.
262. Kabir ed2k://|file|Kabir.-.Automatic.inductive.theorem.proving.and.program.construction.methods.using.program.transformation.(2007)[Supercompilation,Distillation].pdf|1063108|4E0F9EFB19103CAD5B3D9B4660D04F6A|/. . , 2007.
|
|
| |
|
|
|
