ЛИТЕРАТУРА

 
 

[АбР 88]

С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт N 186. - 27 с.

 

[Апт 1983]

K.R.Apt. Formal Justification of a Proof System for Communicating Sequential Processes, Journal Assoc. Comput. Machin., 30(1), pp.197-216, 1983.

 

[АХУ 79]

А.Ахо, Дж.Хопкрофт, Дж.Ульман. Построение и анализ вычислительных алгоритмов: Пер. с англ. - М.:Мир, 1979. - 536 с.

 

[БзР 77]

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

 

[БьД 82]

D.Bjorner, C.B.Jones. Formal Specification and Software Development. Prentice-Hall International, London, 1982.

 

[Вир 77]

Н.Вирт. Систематическое программирование. Введение: Пер. с англ. - М.:Мир, 1977. - 184 с.

 

[Вир 85]

Н.Вирт. Алгоритмы + структуры данных = программы: Пер. с англ. - М.:Мир, 1985. - 406 с.

 

[Гер 500]

Антология мировой философии в четырех томах. Том 1, часть 1. - М.:Мысль, 1969. - с.275.

 

[Кис 87]

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

 

[КлР 86]

Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с.

 

[КлР 87]

Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с.

 

[КРТ 72]

Ан.В.Климов, С.А.Романенко, В.Ф.Турчин. Компилятор с языка Рефал. - М.:ИПМ АН СССР, 1972. - 74 с.

 

[Плоткин 1983]

G.D.Plotkin. An Operational Semantics for CSP, in: D.Bjorner (ed.), Formal Description of Programming Concepts II, North-Holland, Amsterdam, pp.199-223.

 

[Ром 87а]

С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1977. - 191 с.

 

[Ром 87б]

С.А.Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с.

 

[Ром 87в]

С.А.Романенко. Прогонка для программ на Рефале-4. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с.

 

[Ром 87г]

С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 26. - 35 с.

 

[Ром 88]

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

 

[Ром 88]

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.

 

[Тур 66]

В.Ф.Турчин. Метаязык для формального описания алгоритмических языков. - В сб.: Цифровая вычислительная техника и программирование, М.:Сов. Радио, 1966, с.116-124.

 

[Тур 71]

В.Ф.Турчин. Программирование на языке Рефал. - М.:ИПМ АН СССР, 1971, препринты N 41, N 43, N 44, N 48, N 49.

 

[Тур 74]

В.Ф.Турчин. Базисный Рефал, описание языка и основные приемы программирования. Фонд алгоритмов и программ в отрасли "Строительство". ЦНИПИАСС, Москва, 1971.

 

[Тур 86]

V.F.Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, Vol.8, No.3, July 1986, pp.292-325.

 

[Тур 89]

V.F.Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, 1989.

 

[Уор 80]

D.H.D.Warren. Logic Programming and Compiler Writing. Software - Practice and Experience, Vol.10, 97-125 (1980).

 

[Хен 83]

П.Хендерсон. Функциональное программирование. Применение и реализация: Пер. с англ. - М.:Мир, 1983. - 349 с.

 

[Шмд 86]

D.A.Schmidt. Denotational Semantics. Allyn and Bacon, Boston, 1986.