Selected publications related to Refal and supercompilation –
Некоторые публикации, связанные с Рефалом и суперкомпиляцией

1968

• В.Ф. Турчин. Метаалгоритмический язык. - Кибернетика № 4, 1968, с. 116−124. DJVU PDF

• С.Н. Флоренцев, В.Ю. Олюнин, В.Ф. Турчин. РЕФАЛ-интерпретатор. В сб.: Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков. - Киев: 1968, с. 114-133. DJVU PDF

• В.Ф. Турчин. Транслятор с АЛГОЛа, написанный на языке РЕФАЛ. В сб.: Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков. - Киев: 1968, с. 134-151. DJVU PDF

1969

• В.Ф. Турчин, В.И. Сердобольский. Язык Рефал и его использование для преобразования алгебраических выражений. - Кибернетика № 3, 1969, с. 58−62. DJVU PDF

• С.Н. Флоренцев, В.Ю. Олюнин, В.Ф. Турчин. Эффективный интерпретатор для языка РЕФАЛ. - М.:ИПМ АН СССР, 1969, препринт № 29. - 103 с. PDF DJVU

1971

• В.Ф. Турчин. Программирование на языке РЕФАЛ. 1. Неформальное введение в программирование на языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 41. - 55 с. DJVU PDF

• В.Ф. Турчин. Программирование на языке РЕФАЛ. 2. Формальное описание и принципы реализации РЕФАЛа. - М.:ИПМ АН СССР, 1971, препринт № 43. - 60 с. DJVU PDF

• В.Ф. Турчин. Программирование на языке РЕФАЛ. 3. Программирование на базисном РЕФАЛе. - М.:ИПМ АН СССР, 1971, препринт № 44. - 53 с. DJVU PDF

• В.Ф. Турчин. Программирование на языке РЕФАЛ. 4. Использование рекурсивных переменных в языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 48. - 47 с. DJVU PDF

• В.Ф. Турчин. Программирование на языке РЕФАЛ. 5. Использование метафункций в языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 49. - 55 с. DJVU PDF

1972

• В.Ф. Турчин. Эквивалентные преобразования рекурсивных функций, описанных на языке РЕФАЛ. В сб.: Труды симпозиума “Теория языков и методы построения систем программирования”. - Киев-Алушта: 1972, с. 31-42. DJVU scan PDF scan PDF LaTeX

1974

• В.Ф. Турчин. Эквивалентные преобразования программ на РЕФАЛе. В сб.: Автоматизированная система управления строительством. Труды ЦНИПИАСС, N 6. - Москва: ЦНИПИАСС, 1974, c. 36-68. DJVU PDF

• В.А. Фисун. РЕФАЛ (описание языка и инструкция для РЕФАЛ-интерпретатора). - М.:ИПМ АН СССР, 1974. - 45 с. DJVU PDF

1975

• В.Ф. Турчин. РЕФАЛ-макрокод. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации. - Тбилиси: ВЦ АН ГССР, 1975, с. 150-165. DJVU PDF

• И.Б. Задыхайло, Е.И. Котов, А.Н. Мямлин, Л.А. Поздняков, В.К. Смирнов. Вычислительная система с внутренним языком повышенного уровня. - М.: ИПМ АН СССР, 1975, препринт № 41. - 42 с. DJVU PDF

1976

• Н.Г. Арсентьева, Э.К.Янова. Опыт программирования одной лингвистической задачи на языке РЕФАЛ. - М.: ИПМ АН СССР, 1976, препринт № 113. - 37 с. DJVU PDF

• С.А.Романенко. История рефал-компилятора. - Ноябрь 1976. HTML

1977

• ЦНИПИАСС. Справка об авторстве С.А.Романенко. 1977. DJVU PDF

• Базисный Рефал и его реализация на вычислительных машинах. - М.: ЦНИПИАСС, 1977, с. 92-95. DJVU PDF

• Ю.И. Янов. Метод сверток для разрешения свойств формальных систем. - М.: ИПМ АН СССР, 1977, препринт № 11. - 41 с. DJVU PDF

1978

• Ю.И. Янов. Несколько теорем о свертках. - М.: ИПМ им.М.В.Келдыша АН СССР, 1978, препринт № 95. - 73 с. DJVU PDF

1979

• С.М. Абрамов. Обобщенный алгоритм отождествления для языка Рефал. - Курсовая работа, 1979. - 85 с. DJVU PDF

1980

• V.F. Turchin. The Language REFAL - The Theory of Compilation and Metasystem Analysis. Courant Institute Report #20, New York, 1980. DJVU, PDF

• Valentin F. Turchin. The Use of Metasystem Transition in Theorem Proving and Program Optimization. In Proceedings of the 7th Colloquium on Automata, Languages and Programming, J. W. de Bakker and Jan van Leeuwen (Eds.), pages 645–657, 1980. DJVU, PDF

1981

• Н.А. Наумов, А.Г. Рубин, В.К. Смирнов. Об одном способе реализации входных языков для символьного процессора. - М.:ИПМ им.М.В.Келдыша АН СССР, 1981, препринт № 146. - 27 с. DJVU PDF

1983

• Valentin F. Turchin. The Cybernetic Foundation of Mathematics. Technical report of the City College, City University of New York, 1983. DJVU PDF

• Valentin F. Turchin. The Cybernetic Foundation of Mathematics. I. The Concept of Truth. Unpublished, 1983. DJVU PDF

• Valentin F. Turchin. The Cybernetic Foundation of Mathematics. II. Interpretation of Set Theory. Unpublished, 1983. DJVU PDF

1984

• Р.Ф. Гурин. Метод оптимизации программ обработки списков. - М.: ИТЭФ, 1984, препринт № 57. - 15 с. DJVU PDF

1987

• Н.Н. Мансуров, Л.К. Эйсымонт. Реализация расширенного языка Рефал на односвязных списках с кольцевыми цепочками. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт № 20. - 32 с. DJVU PDF

• В.Л. Кистлеров. Принципы построения языка алгебраических преобразований FLAC. - М.:Институт проблем управления, 1987, препринт. - 39 с. DJVU PDF

1988

• V.F. Turchin. The Algorithm of Generalization in the Supercompiler. In Proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 531–549, 1988. DJVU PDF

• С.М. Абрамов. Метавычисления и логическое программирование. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.23-26. PDF DJVU

• В.Л. Кистлеров. Интенсиональная интерпретация типов данных в модели вычислений языка FLAC. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.44-46. PDF DJVU

• Анд.В. Климов. Объектно-функциональная модель вычислений. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.49-53. PDF DJVU

• Арк.В. Климов. Об одном методе получения быстродействующих параллельных алгоритмов. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.53-56. PDF DJVU

• А.Ю. Романенко. Построение обратных функций. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.62-65. PDF DJVU

1989

• Carsten K. Holst. Syntactic currying: yet another approach to partial evaluation. Student Report 89-7-6, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July 1989. DJVU, PDF

• Torben Æ. Mogensen. Binding Time Aspects of Partial Evaluation. PhD thesis. DIKU, University of Copenhagen, Denmark. March, 1989. DJVU, PDF

1990

• V.F. Turchin. The Basics of Metacomputation. The School “Metacomputation in the Language Refal”, Obninsk, July 11-23, 1990. DJVU, PDF

• V.F. Turchin. The Supercompiler. The School “Metacomputation in the Language Refal”, Obninsk, July 11-23, 1990. DJVU, PDF

• Bjarne Steensgaard and Morten Marquard. Parameter Splitting in a Higher Order Functional Language. Student Project 90-7-1. DIKU, University of Copenhagen, Denmark. August, 1990. DJVU, PDF

1995

• V.F. Turchin and A.P. Nemytykh. Metavariables: their implementation and use in program transformation. CSc. TR 95-012, City College of the City University of New York, 1995. DJVU PDF

1996

• Morten Heine Sørensen. Turchin’s Supercompiler Revisited. Master’s thesis, Department of Computer Science, University of Copenhagen, 1994. DIKU-rapport 94/17. PDF

• V.F. Turchin. On generalization of lists and strings in supercompilation. Technical Report CSc. TR 96-002, City College of the City University of New York, 1996. DJVU PDF

1999

• V.F. Turchin. A Dialogue on Metasystem Transition. July 12, 1999. PDF