r1 - 02 Jun 2005 - 22:08:53 - OrloVYou are here: TWiki >  Refaldevel Web > RefalPlus > RefalPlusBook > RefalPlusBookBib

ЛИТЕРАТУРА

[АбР 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.

[Тур 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.
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r1 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback