Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин
Download 278.16 Kb.
|
FIT-Gor-PP3
|
СПИСОК ЛИТЕРАТУРЫ
Айлиф Дж. Принципы построения базовой машины. / Дж . Айлиф. – М.: Мир, 1973. – 119 с. Баранов С. Н. Феномен Форта / С. Н. Баранов, М. Ю. Колодин. // Системная информатика. Вып 4. Методы теоретического и системного программирования. – Новосибирск: Наука. Сиб. изд. фирма, 1995. С. 193– 271. Браун П. Макропроцессоры и мобильность программного обеспечения. /П. Браун. – М.: Мир, 1977. 253 с. Вирт Н. От Модулы к Оберону. / Н. Вирт. // Системная информатика. Вып Проблемы современнного программирования. – Новосибирск: Наука. Сиб. отд-е, 1991. С. 63–75 Воеводин В. В. Параллельные вычисления. / В. В. Воеводин, Вл. В. Воеводин. – СПб.: БХВ-Петербург, 2002. 608 с. Городняя Л. В. Функциональный подход к описанию парадигм программирования / Л. В. Городняя // Препринт № 152. Надзаг.: ИСИ СО РАН, – Новосибирск, 2009. С. 66. Дейкстра Э. Дисциплина программирования. / Э. Дейкстра. М.: Мир, 1978. 275 с. Иртегов Д. В. Введение в операционные системы / Д. В. Иртегов. – СПб.: БХВ-Петербург, 2008. 1040 с. Лавров С. С. Методы задания семантики языков программирования / С. С. Лавров // Программирование, 1978. N 6. С. 3-10. Лавров С. С. Функциональное программирование. Интерпретатор языка Лисп / С. С. Лавров, Л. В. Городняя // Компьютерные инструменты в образовании. – СПб, 2002. №5. Леман М. М. Программы, жизненные циклы и законы эволюции программного обеспечения / М. М. Леман. – М.: Мир, ТИИЭР, 1980. Т. 68-9. С. 26-45 Мейер Б. Основы объектно-ориентированного проектирования. / Б. Мейер. – М.: Интернет-Университет Информационных технологий. URL: http://www.intuit.ru/department/se/oopbases/, 2007 (проверено 1.12.2014) Пратт Т. Языки программирования. Разработка и реализация. / Т. Пратт, М. Зелковиц; Под общей редакцией А.Матросова. – СПб.: Питер, 2002. 688 с. Сошников Д. В. Функциональное программирование на языке F#. / Д. В. Сошников. – М.: ДМК Пресс, 2011. Хендерсон П. Функциональное программирование. / П. Хендерсон. – М.: Мир, 1983. 349 с. Хоар Ч. Взаимодействующие последовательные процессы. / Ч. Хоар. – М.: Мир, 1989. 264 с. Хорстман К. Scala для нетерпеливых. / К. Хорстман. – М.: ДМК Пресс, 2013. 408 с. Черноножкин С. К. Методы тестирования программ / С. К. Черноножкин. – Новосибирск: НГУ, 2004. 166 с. Backus J. Can programming be liberated from the von Neumann style? A functional stile and its algebra of programs / J. Backus. // Comm. ACM. 1978. V. 21 N. 8. P. 613-641. Floyd, R. W. The paradigms of Programming. / R. W. Floyd. //Communications of the ACM 22 (N 8), 1979: p. 455 Knoop J. Compiler Construction / 20th International Conference, CC 2011Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26 – April 3, 2011 // Lecture Notes in Computer Science. Springer V2011. V. 6601. 330 p. McCarthy J. LISP 1.5 Programming Manual / J. McCarthy. The MIT Press, Cambridge, 1963. 106 p Russian Lisp User Group. URL: http://lisp.ru/ Примеры на языке Prolog. URL: http://www.cs.bham.ac.uk/~pjh/modules/current/25433/examples/l15_ex ample3.html П р и л о ж е н и е Download 278.16 Kb. Do'stlaringiz bilan baham: 
|