Исследование и реализация функциональнологической парадигмы программирования с использованием формализма направленных отношений
Диссертация
При создании большого количества языков были предприняты попытки объединить функциональное и логическое программирование, сохраняя преимущества обоих, при этом устранив некоторые их недостатки. Многие созданные системы не имели собственного интерфейса и непосредственно использовали интерпретаторы функциональных языков. Большинство реализаций языков и систем функционального программирования были… Читать ещё >
Содержание
- 1. Анализ языков и систем функционального, логического и реляционного программирования
- 1. 1. Анализ современных стилей программирования
- 1. 2. Анализ языков и систем функционального программирования
- 1. 2. 1. Продукционные языки
- 1. 2. 2. Лямбда-основанные языки
- 1. 2. 2. 1. Lisp
- 1. 2. 2. 2. SML
- 1. 2. 2. 3. Норе
- 1. 2. 2. 4. Miranda
- 1. 2. 3. Языки композиционного программирования
- 1. 2. 3. 1. Переход к композиционному программированию, язык APL
- 1. 2. 3. 2. Язык функциональных схем
- 1. 2. 3. 3. FUN
- 1. 2. 3. 4. FP-система
- 1. 2. 3. 5. FP
- 1. 2. 4. Типизация в языках функционального программирования
- 1. 2. 4. 1. Теории типов
- 1. 2. 4. 2. Реализационный аспект типизации языков программирования
- 1. 3. Анализ языков и систем логического программирования
- 1. 3. 1. Пролог
- 1. 3. 2. Дейталог
- 1. 4. Анализ языков и систем реляционного программирования
- 1. 4. 1. Выражение запросов реляционной алгебры с использованием языка Miranda
- 1. 4. 2. Libra
- 1. 5. Цель и задачи диссертационной работы
- 2. 1. Формализм направленных отношений
- 2. 1. 1. Направленное отношение как математический объект
- 2. 1. 2. Основные понятия аппарата направленных отношений
- 2. 1. 3. Языки схем d-отношений
- 2. 1. 4. Композиция d-отношений
- 2. 1. 5. Классы d-отношений
- 2. 1. 6. Исчисления включения и эквивалентности схем d-отношений
- 2. 2. Синтаксис языка FLOGOL
- 2. 2. 1. Задачи создания языка и требования к его реализации
- 2. 2. 2. Базовые конструкции языка
- 2. 2. 3. Операции композиции отношений
- 2. 2. 4. Структура программы
- 2. 3. Программирование на языке FLOGOL
- 2. 4. Язык запросов как подмножество языка FLOGOL
- 3. 1. Средства модульной организации программ
- 3. 2. Схемное задание отношений
- 3. 3. Механизм «видимости» имен
- 3. 4. Контроль типов
- 4. 1. Архитектура интегрированной системы функционально-логического программирования и проектирования программ
- 4. 2. Разработка и исполнение программ с использованием интегрированной среды программирования
- 4. 3. Компиляция программ
- 4. 3. 1. Внутреннее представление
- 4. 4. Исполнение функционально-логических программ
- 4. 5. Перспективы развития системы. Интеграция языка FLOGOL с языками процедурного программирования
Список литературы
- Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект: Пер. с японск. М, Мир, 1993. — 400 е., ил.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Москва, Мир, 1978.
- Борздова Т.В., Вахрушева М. Б., Кутепов В. П., Петцольд В. Полиязычная система параллельного программирования, основанная на одном семействе функциональных языков // Программирование, 1984, № 2, с. 31−45.
- Борздова Т.В. Разработка структурно-функциональных методов в параллельном программировании // Дисс. к.т.н., М.: МЭИ, 1984.
- Вирт Н. «Программирование на языке МОДУЛА-2», М., Мир, 1987.
- Вирт Н. «Систематическое программирование», М., Мир, 1977.
- Грызунов В.Б. Разработка и реализация системы функционального программирования для ПЭВМ // Дисс. к.т.н., М.: МЭИ, 1990.12. «Данные в языках программирования» под ред. Агафонова В. Н. М., Мир, 1982.
- Дейкстра Э. «Заметки по структурному программированию» в кн. «Структурное программирование», М., Мир, 1975.
- Карпова H.H. Средства модульной организации программ на языке FLOGOL // Сборник научных трудов к научно-технической конференции МИРЭА (ТУ). Кафедра МОВС. Москва: Изд-во ЭРЕБУС, 1998.
- Карпова H.H. Теория направленных отношений как основа построения языка функционально-логического программирования FLOGOL. Международная конференция «Информационные средства и технологии». Тезисы докладов. Москва, 1997, с. 108−113.
- Климов A.B., Романенко С. А. Система программирования РЕФАЛ-2 для ЕС ЭВМ: Описание входного языка. М., 1978, 52 с.
- Кутепов В.П., Кораблин Ю. П. Язык граф-схем параллельных алгоритмов. -М.: Программирование, № 1,1978, с. 5−11.
- Кутепов В.П. Проблема функциональности в одном классе отношений // Кибернетика. 1981. № 3.
- Кутепов В.П., Фальк В. Н. Модели асинхронных вычислений значений функций в языке функциональных схем. // Программирование, 1978, № 3, с. 3−15.
- Кутепов В.П., Фальк В. Н. Направленные отношения: теория и приложения // Известия РАН. Техническая кибернетика. N 4,1994.
- Кутепов В.П., Фальк В. Н. Направленные отношения: теория и приложения // Известия РАН. Техническая кибернетика. -N 5, 1994.
- Кутепов В.П., Фальк В. Н. Функциональные системы: теоретический и практический аспекты. // Кибернетика, 1979 № 1, с. 46−58.
- Петцольд В. Построение системы параллельной обработки символьной информации на основе одного семейства функциональных моделей // Дисс. к.т.н., 1981.
- Турчин В.Ф. Метаалгоритмический язык. Кибернетика № 4, 1968, с. 45−54.
- Турчин В.Ф. Метаязык для формального описания алгоритмических языков. В сб. Цифровая вычислительная техника и программирование. Сов. Радио, 1966, с. 116 124.
- Фальк В.Н. Теоретические модели языков программирования и вопросы их структурной интерпретации //Дисс. к.т.н., М.: МЭИ, 1978.
- Фальк В.Н. Языки схем отношений // Формальные модели параллельных вычислений. Новосибирск: ВЦ СО АН СССР, 1988.
- Филд А., Харрисон П. Функциональное программирование: Пер. с англ. М.: Мир, 1993. -637 с., ил.
- Хоар К. «Иерархические структуры программ» в кн. «Структурное программирование», М., Мир, 1975.
- Хоар К. «О структурной организации данных» в кн. «Структурное программирование», М., Мир, 1975.
- Чери С., Готлоб Г., Танка JI. Логическое программирование и базы данных: Пер. с англ. М.: Мир, 1992. — 352 е., ил.
- Apt K.R. and van Emden M.H. Contributions to the Theory of Logic Programming, Journal of the ACM 29:3,1982.
- Backus J. Can programming be liberated from the fon Neuman style? A Functional style and its algebra of programs. CACM, vol. 128, no. 8, pp.613−641,1977.
- Bowen K.A. and Kowalski R.A. «Amalgamating Language and Metalanguage in Logic Programming» in Logic Programming (K.L. Clark and S.A. Tarnlund, eds.), Academic Press, London, 1982, pp. 153−172.
- Burstall R.M., MacQueen D.B., Sannella D.T. HOPE: An Experimental Applicative Language. 1st International LISP Conference, 1980.
- Cardelli L. Amber. LNCS, mo. 242, pp. 21−47,1986.
- Cardelli L. Compiling a functional language. Proc. 1984 ACM symp. in Lisp and Functional Programming. Austin, Texas, ACM, vol 8, pp. 208−217, 1984.
- Chikayama T. ESP Extended Self-contained Prolog — as a Preliminary Kernel of Fifth Generation Computers, New Generation Computing 1:1,1983, pp. 11−24.
- Church A. A formulation of the simple theory of types. The journal of symbolic logic, vol 5, pp. 56−68, 1940.
- Church A. The calculi of lambda-conversion. Annals of Math. Studies, 6, 1951.
- Clark K. L and Gregory S. Notes on the Implementation of Parlog, Journal of Logic Programming 2:1,1985, pp. 17−42.
- De Bakker J.W. Recursive procedures // Mathematical centre tracts 24. Amsterdam: Mathematisch centrum, 1971.
- Dwyer B. Libra: A Lazy Interpreter of Binary Relational Algebra, Computer Science Technical Report 95−10, Department of Computer Science University of Adelaide.
- Gordon M., Milner R., Wadsworth C. Edinburg LCF: A Mechanised Logic of Computation. LNCS 78,1979.
- Hammond P. and Sergot M. Apes: Augmented Prolog for Expert Systems Reference Manual, Logic Based Systems Richmond, Surrey, England, 1984.
- Hitchcok P., Park D. Induction rules and termination proofs // Automata, Languages and Programming. Nivat. Ed. North-Holland, Amsterdam, 1973.
- Iverson K.A. A Programming Language. Wiley. New York, 1962.
- Kowalski R.A. Predicate Logic as a Programming Language. Proc. IFIP-74, North Holland, Amsterdam, 1974, pp. 569−574.
- Kutepov V., Falk V. Integrated tools for functional, logical and data-flow parallel programming and controlling parallel computations on computeer systems // Proceed. Internat. Conf. «Parallel Computing technologies». Novosibirsk, 1991.
- McDermott D. DUC: A Lisp-Based Deductive System, Technical Report, Department of Computer Science, Yale University, 1983.
- Merritt D. Extending C with Prolog. Dr. Dobb’s journal, #217, August, pp. 78−104,1994.
- Milner R. Algebraic theory of computable polyadic functions // Computer Science memorandum № 22. University College of Swansea, 1970.
- Milner R. A theory of type polimorphism in programming: J. Comp. System Sci., vol. 17, pp. 348−375, 1978.
- Milner R. The Standard ML core language. Polimorphism: The ML/LCF/Hope Newsletter, vol. 2, no.2, October 1985.
- Mitchel J. Coercion and type inference. Proc. of the fifth ACM symp. on principles of programming languages, 1983.
- Saunders D. Databases: Models, Modelling and Languages, QMW, Computer Science Department, 1995.
- Scott D. A Type-theoretical alternative to CUCH, OWNY, ISWIN. Oxford University, 1969.
- Scott D., de Bakker J.W. A theory of programs // Unpublished notes. Vienna: IBM Seminar, 1969.
- Shapiro E.Y. A Subset of Concurrent Prolog and its Interpreter, ICOT Technical Report TR-003, Institute for New Generation Computing, Tokyo, 1983.
- Simmons R.F. Computations from the English, PrenticeHall, Englewood Cliffs, 1984.
- Strachey C. Fundamental concepts in programming languages, Notes for the International Summer School in Computer Programming, Copenhagen, 1967.
- Turner D.A. Miranda: A non-strict functional language with polymorphic types. Functional Programming and Computer Architecture. LNCS № 201, pp.1−16,1985.
- Welsh J. et. al. Ambiguities and Insecuruties in PASCAL. Software: Practice and Experience, No 7,1977.