ЛИТЕРАТУРА
С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт N 186. - 27 с.
K.R.Apt. Formal Justification of a Proof System for Communicating Sequential Processes, Journal Assoc. Comput. Machin., 30(1), pp.197-216, 1983.
А.Ахо, Дж.Хопкрофт, Дж.Ульман. Построение и анализ вычислительных алгоритмов: Пер. с англ. - М.:Мир, 1979. - 536 с.
Базисный Рефал и его реализация на вычислительных машинах. - М.:ЦНИПИАСС, 1977. - 258 с.
D.Bjorner, C.B.Jones. Formal Specification and Software Development. Prentice-Hall International, London, 1982.
Н.Вирт. Систематическое программирование. Введение: Пер. с англ. - М.:Мир, 1977. - 184 с.
Н.Вирт. Алгоритмы + структуры данных = программы: Пер. с англ. - М.:Мир, 1985. - 406 с.
Антология мировой философии в четырех томах. Том 1, часть 1. - М.:Мысль, 1969. - с.275.
В.Л.Кистлеров. Принципы построения языка алгебраических вычислений FLAC.- Препринт, М.:Институт проблем управления, 1987. - 39 с.
Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с.
Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с.
Ан.В.Климов, С.А.Романенко, В.Ф.Турчин. Компилятор с языка Рефал. - М.:ИПМ АН СССР, 1972. - 74 с.
G.D.Plotkin. An Operational Semantics for CSP, in: D.Bjorner (ed.), Formal Description of Programming Concepts II, North-Holland, Amsterdam, pp.199-223.
С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1977. - 191 с.
С.А.Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с.
С.А.Романенко. Прогонка для программ на Рефале-4. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с.
С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 26. - 35 с.
С.А.Романенко. Мета-мета-вычисления и специализация программ. - В сб.: Тезисы докладов Всесоюзной школы-семинара "Семиотические аспекты формализации интеллектуальной деятельности" в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.65-68.
S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463, North-Holland, 1988.
В.Ф.Турчин. Метаязык для формального описания алгоритмических языков. - В сб.: Цифровая вычислительная техника и программирование, М.:Сов. Радио, 1966, с.116-124.
В.Ф.Турчин. Программирование на языке Рефал. - М.:ИПМ АН СССР, 1971, препринты N 41, N 43, N 44, N 48, N 49.
V.F.Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, Vol.8, No.3, July 1986, pp.292-325.
V.F.Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, 1989.
D.H.D.Warren. Logic Programming and Compiler Writing. Software - Practice and Experience, Vol.10, 97-125 (1980).
П.Хендерсон. Функциональное программирование. Применение и реализация: Пер. с англ. - М.:Мир, 1983. - 349 с.
D.A.Schmidt. Denotational Semantics. Allyn and Bacon, Boston, 1986.