Управление преобразованиями программ с переменным набором трансформаций тема диссертации и автореферата по ВАК РФ 05.13.01, доктор технических наук Князева, Маргарита Александровна

• Князева, Маргарита Александровна
• доктор технических наук
• 2009

Оглавление диссертации доктор технических наук Князева, Маргарита Александровна

ВВЕДЕНИЕ.

ГЛАВА 1. ПРЕОБРАЗОВАНИЯ ПРОГРАММ. ОБЗОР ЛИТЕРАТУРЫ.

1.1. Основные понятия и постановка проблемы преобразований программ

1.2. Современное состояние теоретических исследований в области преобразований программ.

1.2.1. Модели программ, ориентированные на трансформации программ.

1.2.2. Классификация трансформаций.

1.3. Современное состояние разработки блоков оптимизации в компиляторах.

1.3.1. Представления программ.

1.3.2. Представление трансформаций в реализациях трансформационных машин.

1.3.3. Потоковый анализ программ.

1.4. Средства автоматизации построения оптимизирующих компиляторов

1.5. Компьютерные эксперименты в области преобразований программ.

1.6. Выводы к первой главе.

ГЛАВА 2. КОНЦЕПЦИЯ ПРЕОБРАЗОВАТЕЛЯ ПРОГРАММ С ПЕРЕМЕННЫМ НАБОРОМ ТРАНСФОРМАЦИЙ.

2.1. Требования к преобразователю программ с переменным набором трансформаций.

2.2. Архитектура преобразователя программ с переменным набором трансформаций.

2.3. Выводы ко второй главе и постановки задач исследования.

ГЛАВА 3. ОНТОЛОГИЯ МОДЕЛИ ОБЪЕКТА ПРЕОБРАЗОВАНИЙ.

3.1. Постановка задачи моделирования объекта преобразований.

3.2. Онтология МСП.

3.2.1. Определение МСП.

3.2.2. Вспомогательные термины.

3.2.3. Классы фрагментов программы, идентификаторы программы.

3.2.4. Типы данных.

3.2.5. Дуги управления.

3.2.6. Атрибуты.

3.3. Проекции языков программирования высокого уровня на единое представление программ и единого представления программ на языки высокого уровня.

3.4. Онтология расширенной МСП.

3.4.1. Онтология расширенной МСП для классических оптимизирующих преобразований.

3.4.2. Онтология расширенной МСП для реструктурирующих преобразований

3.4.3. Онтология расширенной МСП для коммуникационных преобразований

3.5. Онтологические соглашения онтологии МСП и онтологии расширенной МСП.

3.6. Выводы к третьей главе.

ГЛАВА 4. ПРЕДСТАВЛЕНИЕ МЕТОДОВ ПОТОКОВОГО АНАЛИЗА ПРОГРАММ

4.1. Постановка задачи представления методов потокового анализа программ.

4.2. Абстрактный синтаксис языка описания методов потокового анализа программ и его операционная семантика.

4.3. База знаний о методах потокового анализа программ.

4.4. Выводы к четвертой главе.

ГЛАВА 5. ПРЕДСТАВЛЕНИЕ ТРАНСФОРМАЦИЙ.

5.1. Постановка задачи представления трансформаций.

5.2. Абстрактный синтаксис языка описания трансформаций.

5.3. База знаний о трансформациях программ.

5.4. Выводы к пятой главе.

ГЛАВА 6. МЕТОДЫ ИНТЕРПРЕТАЦИИ БАЗЫ ЗНАНИЙ О ТРАНСФОРМАЦИЯХ ПРОГРАММ.

6.1. Постановка задачи интерпретации базы знаний о трансформациях программ.

6.2. Метод интерпретации стратегии преобразования.

6.3. Метод поиска участка экономии.

6.4. Метод выполнения преобразования.

6.5. Выводы к шестой главе.

ГЛАВА 7. СПЕЦИАЛИЗИРОВАННЫЙ БАНК ЗНАНИЙ О ПРЕОБРАЗОВАНИЯХ ПРОГРАММ.

7.1. Постановка задачи разработки средств преобразования программ с переменным набором трансформаций.

7.2. Требования к СБкЗПП.

7.3. Архитектура СБкЗПП.

7.4. Методы реализации СБкЗПП.

7.5. Выводы к седьмой главе.

ГЛАВА 8. ТЕХНОЛОГИЯ ИСПОЛЬЗОВАНИЯ МЕТОДОВ И СРЕДСТВ ПРЕОБРАЗОВАНИЯ ПРОГРАММ С ПЕРЕМЕННЫМ НАБОРОМ ТРАНСФОРМАЦИЙ И ЕЕ ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ.

8.1. Технология использования методов и средств преобразования программ с переменным набором трансформаций.

8.2. Экспериментальное исследование технологии использования методов и средств преобразования программ с переменным набором трансформаций.

8.2.1. Постановка задачи экспериментального исследования переменных наборов трансформаций на МСП.

8.2.1.1. Модель измерения временных характеристик МСП.

8.2.1.2. Модель измерения характеристик объема МСП.

8.2.2. Постановка задачи экспериментального исследования переменных наборов трансформаций на штатном компиляторе.

8.3. Использование технологии для экспериментального исследования переменных наборов трансформаций.

8.4. Использования технологии для моделирования блоков оптимизации в компиляторах.

8.5. Использование технологии для обучения студентов.

8.5.1. Организация лабораторного практикума.

8.5.2. Проведение деловых игр на лабораторном практикуме.

8.6. Выводы к восьмой главе.

ОСНОВНЫЕ НАУЧНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ.

ГЛОССАРИЙ.

Введение диссертации (часть автореферата) на тему «Управление преобразованиями программ с переменным набором трансформаций»

Актуальность проблемы. При решении различных задач управления техническими объектами исследователям часто приходится решать проблему оптимального сочетания их аппаратных возможностей с соответствующим программным обеспечением. Эта проблема особенно актуальна для обеспечения эффективности управления суперкомпьютерами, поскольку для ее решения необходимо учитывать как многообразие архитектур суперкомпьютеров, так и анализировать особенности представления и обработки больших объемов информации. Поэтому актуальными являются исследования, направленные на разработку качественных компьютерных программ, как одного из важнейших факторов, обеспечивающих управление современных компьютерных систем.

Большой вклад в разработку и исследование программ внесли российские и зарубежные учёные: С.М. Абрамов, В.В. Воеводин, Вл.В. Воеводин, В.Ю. Волконский, В.М. Глушков, Б.А. Головкин, В.А. Евстигнеев, А.П. Ершов, В.П. Иванников, В.Э. Иткин, В.Н. Касьянов, В.Е. Котов, C.JI. Кривой, В.П. Кутепов, A.A. Ляпунов, С.С. Лавров, A.A. Летичевский, Э.З. Любимский, В.В. Мартынюк, A.C. Нариньяни, В.А. Непомнящий, И.В. Поттосин, Р.И. Подловченко, В.К. Сабельфельд, В.А. Серебряков, A.A. Терехов, Э.А. Трахтенгерц, Г.С. Цейтин, Ю.И.Янов, Ф.Э. Аллен, Д.Ф. Бэкон, М. Вольф, Дж. Кок, Г. Килделл, П. Кузо, М. Лэм, Д. Падуа, К-В. Ценг, Дж. Т. Шварц и многие другие.

На основе теоретических моделей программ сформулировано и обосновано большое число их преобразований. Одним из подходов к преобразованиям программ является трансформационный подход, при котором разрабатываемая программа создаётся путём преобразования из других программ за счет применения набора трансформаций, к которым относятся трансляция программ, их оптимизация и распараллеливание, реинжениринг программ при их переносе в новое операционное окружение, модификация программ при их сопровождении и др. Основная цель использования таких преобразований - это повышение качества программ.

Однако, общий метод построения набора трансформаций отсутствует, поэтому наборы строятся на эвристической основе. Исследования эффективности применения одного фиксированного набора трансформаций при заданной стратегии их применения проводились неоднократно. Проведение исследований эффективности переменных наборов преобразований программ связано с рядом проблем. Одна из проблем заключается в том, что системы, разработанные и/или разрабатываемые для изучения порядков преобразований, позволяют проводить исследования программ только на тех языках, которые в них поддерживаются, и только с такими наборами трансформаций, которые хранятся в библиотеке трансформаций во внутреннем представлении, а их модификация является трудоемким процессом.

Другой проблемой для исследования набора трансформаций является включение новых трансформаций в набор. Единой инструментальной среды, обеспечивающей все шаги процесса интеграции знаний о преобразованиях программ, не существует, а имеющиеся системы обладают рядом ограничений, уменьшающих эффективность их практического использования. Это связано с отсутствием единого подхода к представлению знаний в этой области. Общей идеей, гарантирующей подход к такому представлению, является онтологический подход.

Большой вклад в разработку и исследование онтологического подхода внесли российские и зарубежные ученые: В.Н. Вагин, Т.А. Гаврилова, A.C. Клещев, Г.С. Поспелов, Д.А. Поспелов, В.Ф. Хорошевский, T.R. Gruber, N. Guarino, J.F. Sowa и др. Онтологический подход успешно использовался в объектно-ориентированном проектировании и программировании, для проектирования интерфейса пользователя, ре-инжиниринга бизнес-процессов, в концептуальном проектировании. Онтологии обеспечили проектирование и разработку более интеллектуальных и интегрированных информационных систем.

Целью диссертационной работы является разработка онтологических моделей и методов реализации преобразований программ с переменным набором трансформаций и изменяемой стратегией управления трансформациями.

Достижение цели работы предполагает решение следующих задач.

1. Разработка концепции преобразователя программ с переменным набором трансформаций на основе онтологического подхода.

2. Разработка онтологии единого представления программ и онтологии и его расширения.

3. Разработка онтологии методов потокового анализа программ и базы знаний о методах потокового анализа программ.

4. Разработка онтологии знаний о трансформациях программ и базы знаний о трансформациях программ.

5. Разработка методов интерпретации знаний о преобразованиях программ.

6. Разработка и реализация специализированного банка знаний о преобразованиях программ.

7. Разработка технологии использования методов и средств преобразования программ с переменным набором трансформаций и ее экспериментальное исследование.

Научная новизна работы. На основе проведенных научных исследований разработаны методы и средства создания нового класса программных средств - системы управления преобразованиями программ с переменным набором трансформаций.

Научная новизна разработанных методов и средств управления преобразованиями программ с переменным набором трансформаций заключается в использовании онтологического подхода и в представлении информации в базах знаний в декларативном представлении.

Впервые разработана концепция системы для управления преобразованиями программ с переменным набором трансформаций.

Впервые разработаны онтологии модели структурных программ и онтологии расширенной модели структурных программ.

Впервые разработаны онтологии методов потокового анализа программ и онтологии знаний о трансформациях программ, а также база знаний о методах потокового анализа программ и база знаний о трансформациях программ.

Впервые поставлена задача интерпретации декларативного представления базы знаний о трансформациях программ и разработан метод ее решения.

Впервые разработан и реализован специализированный банк знаний о преобразованиях программ.

Предложена технология использования методов и средств управления преобразованиями программ с переменным набором трансформаций.

Достоверность результатов. Обоснованность и достоверность научных положений, методов и выводов подтверждается использованием методов математического моделирования онтологий предметных областей, прикладной логики, теории графов, теории вычислительных процессов и структур, теории трансляции и оптимизации программ, а также результатами вычислительных экспериментов с помощью разработанных программных средств.

Практическая ценность работы.

Полученные в диссертации научные результаты имеют практическую направленность и предназначаются для автоматизации научных исследований в области преобразований программ.

Разработанные онтология модели структурных программ, онтология расширенной модели структурных программ, онтология методов потокового анализа программ позволяют создавать базы знаний о методах потокового анализа программ и базы знаний о трансформациях программ в единой унифицированной терминологии.

Разработанные методы интерпретации базы знаний о методах потокового анализа программ и базы знаний о трансформациях программ позволяют проводить исследования с преобразованиями программ с переменным набором трансформаций.

Разработанный специализированный банк знаний о преобразованиях программ позволяет коллективно развивать информационные ресурсы в области преобразований программ и распространять знания специализированного банка среди его пользователей.

Программное средство для исследования преобразований программ с переменным набором трансформаций использовалось:

- при разработке почтового клиента для сотовых телефонов, основной целью которого является доступ с мобильного телефона к почтовым серверам по протоколам SMTP, РОРЗ, IMAP4;

- при разработке программного комплекса автоматизации работы туристических операторов на базе технологий Contour WEB;

- при разработке программного комплекса управления и учета услуг, предоставляемых посетителям интернет - ресурсов компании;

- при разработке программного комплекса для системы контроля сотрудников FrontLine.

Полученные в диссертации результаты внедрены (использованы): в научный процесс Института автоматики и процессов управления ДВО РАН, г. Владивосток; в учебный процесс Дальневосточного государственного университета, г. Владивосток.

Полученные результаты нашли применение при разработке Учебно-методических комплексов по дисциплинам "Теория вычислительных процессов и структур II. Теория и методы трансляции" и "Оптимизация программ" для студентов, обучающихся по специальности 351500 математическое обеспечение и администрирование информационных систем и которые используются в процессе обучения.

Результаты диссертационной работы использовались в учебном процессе Дальневосточного государственного университета при чтении курсов лекций «Теория вычислительных процессов и структур II. Теория и методы трансляции», «Оптимизация программ», «Параллельное программирование», при выполнении курсовых работ (всего 30) и дипломных работ (всего 15) специальности 351500 - математическое обеспечение и администрирование информационных систем, а также при выполнении кандидатских диссертаций по специальности 051311-математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

В диссертации разработаны теоретические положения и научно обоснованные технические решения, обеспечивающие разработку системы для экспериментов в области преобразований программ.

Реализация работы. Результаты диссертационной работы нашли применение при выполнении научно-исследовательских работ:

- проект РФФИ 06-07-89071-а "Исследование возможностей коллективного управления в семантическом вебе информационными ресурсами различных уровней общности" 2006-2008 гг.

- программа №14 Президиума РАН «Фундаментальные проблемы информатики и информационных технологий», проект 06-1-П14-052 «Параллельные вычисления в создании инструментальных и проблемно -ориентированных средств для решения вычислительно-сложных задач моделирования динамики океана и атмосферы с использованием спутниковой информации, оптимизации в условиях неопределенности и построения интеллектуальных систем», раздел 2 «Разработка средств поддержки построения интеллектуальных систем и корректного программного обеспечения для многопроцессорных вычислительных комплексов» 2006-2008 гг.

- программа №15 фундаментальных исследований ОЭММПУ РАН «Проблемы анализа и синтеза интегрированных систем управления для сложных объектов, функционирующих в условиях неопределённости», проект 06-1-П15-055"Синтез интеллектуальных систем управления базами знаний и базами данных при управлении сложными объектами в условиях неопределённости" 2006-2008 гг.

- инициативный научный проект ДВО РАН 06-III-A-01-007 «Интернет-система управления информацией о преобразованиях программ» 2006-2008 гг.

Апробация работы. Научные положения и результаты диссертационной работы докладывались и получили одобрение на Международной научно-методической конференции «Новые информационные технологии в университетском образовании» (г. Новосибирск, 1997 г.), на П-ой и Ш-ей Международной научно-технической конференции «Интерактивные системы: проблемы человеко - компьютерного взаимодействия» (г. Ульяновск, 1997 и 1999 г.), на третьем сибирском конгрессе по прикладной и индустриальной математике посвященный памяти C.JI. Соболева (г. Новосибирск, 1998г.), на Международной конференции по математической логике, посвященной 90-летию со дня рождения академика А.И. Мальцева (г. Новосибирск, 1999 г.), на четвертом сибирском конгрессе по прикладной и индустриальной математике, посвященном памяти М.А. Лаврентьева (г. Новосибирск, 2000 г.), на Международной конференции «Искусственный интеллект 2000» (Кацивели, Крым, 2000, 2006, 2007 г.), на Дальневосточной математической школе-семинаре им. Акад. Е.В. Золотова (г. Владивосток, в 2001, 2002, 2006 и 2007 г., г. Хабаровск в 2005г.), на Международной конференции по искусственному интеллекту КИИ (г. Коломна, 2002 г., г. Обнинск, 2006 г.), на Международной конференции KDS-2003, KDS-2005, KDS-2007 и KDS-2008 (г. Варна, Болгария), на Международной конференции им. В.А. Трапезникова РАН «Параллельные вычисления и задачи управления»

РАСО'2004 и РАСО'2006 (г. Москва, 2004 г., 2006 г.), на Международной конференции «Системный анализ и информационные технологии» САИТ-2005 и САИТ-2007 (г. Переславль-Залесский, 2005 г., г. Обнинск, 2007 г.), на Всероссийской конференции «Знания-онтологии-теории» с международным участием (г. Новосибирск, 2007г.), на научных сессиях МИФИ (г. Москва, 2001, 2002, 2004-2008г.г.), Интеллектуальные и многопроцессорные системы (г. Таганрог, 2003-2007 г.г.), на второй Международной конференции по когнитивной науке (г. Санкт-Петербург, 2006 г.), на IX Международной конференции «Интеллектуальные системы и компьютерные науки» (г. Москва, 2006 г.); на семинарах Отдела экспертных систем Института автоматики и процессов управления ДВО РАН и Института математики и компьютерных наук ДВГУ (1991-2007г., г. Владивосток), в лаборатории Системного программирования Института Систем Информатики СО РАН им. А.П. Ершова в 1998 г. (г. Новосибирск), на семинаре в НИВЦ МГУ в лаборатории параллельных Информационных Технологий в 2003 г., 2006 г. (г. Москва), на семинаре ВЦ РАН в 2003 г., 2006 г. (г. Москва).

Личный вклад автора. Автором осуществлена постановка задачи, получение всех экспериментальных исследований и самостоятельно получены все теоретические результаты. Автор принимал личное участие в разработке программных систем и ей принадлежит интерпретация всех основных экспериментальных и теоретических результатов, представленных в диссертации. В работах [1-4] [75] [79] [95] [101] [195] [144] выделены основные компоненты онтологии предметной области. В работах [82-83] [88] определены язык модели структурных программ и расширение языка модели структурных программ терминами потокового анализа. В работах [5] [70-72] [76] [98-100][104] [193-194] [196-197] выполнены постановки задач, разработаны основные теоретические положения. В работах [73] [80] [84-87] [90-91] [94] [97] [198] описаны архитектура и основные задачи преобразователя программ. В работах [93] [96] разработана архитектура преобразователя программ, управляемого знаниями.

Публикация результатов работы.

Результаты диссертационной работы представлены в монографии, в 47 научных публикациях в отечественных и международных изданиях, в том числе 31 статья, из них 7 статей в международных изданиях, 15 статей в российских реферируемых журналах, в свидетельстве об официальной регистрации программ для ЭВМ, в свидетельстве об отраслевой регистрации разработки.

Структура и объем работы. Диссертация состоит из введения, восьми глав, заключения, списка литературы, включающего 220 наименований, 6 приложений. Работа изложена на 282 страницах машинописного текста, содержит 23 рисунка.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Князева, Маргарита Александровна

ОСНОВНЫЕ НАУЧНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

В диссертационной работе на основе проведенных автором исследований сделано теоретическое обобщение и получено решение важной научной проблемы, состоящей в разработке моделей и методов реализации преобразований программ с переменным набором трансформаций и изменяемой стратегией управления трансформациями. В рамках указанной проблемы получены следующие основные теоретические и практические результаты.

1. Предложена концепция преобразователя программ с переменным набором трансформаций. Основными положениями концепции являются: выделение систем понятий, в терминах которых производится декомпозиция программ на языке высокого уровня и их преобразование в единое представление, построение модели онтологии для каждой системы понятий, анализ потока управления и потока данных программ, проверка контекстных условий трансформаций и выполнение трансформаций программ; формирование баз программ, баз знаний о методах потокового анализа программ и базы знаний о трансформациях программ в терминах модели онтологий; разработка алгоритма интерпретации стратегии преобразования, алгоритма генерации программ из единого представления на языки программирования высокого уровня и алгоритма визуализации историй преобразований программ.

2. Разработана онтология модели структурных программ и онтология расширенной модели структурных программ (МСП). Модель онтологии структурных программ представляет собой необогащенную систему логических соотношений с параметрами, записанную с использованием предложений многосортного языка прикладной логики. МСП является универсальным представлением программ. Язык ЯМСП определяется заданием значений параметров модели онтологии объекта преобразований программ. В работе определено расширение модели структурных программ терминами, используемыми при потоковом анализе программ для трех классов преобразований: классические, реструктурирующие и коммуникационные преобразования программ для машин с распределенной памятью. Расширенная МСП является обобщением некоторых схем программ. Единое представление позволяет реализовывать всевозможные алгоритмы потокового анализа программ. Информация для проверки контекстных условий трансформаций собирается до выполнения преобразований, а расширенная модель может быть получена путем интерпретации соответствующего метода потокового анализа программ из соответствующей базы знаний.

3. Разработана онтология методов потокового анализа программ (абстрактный синтаксис языка для представления методов потового анализа программ и его операционная семантика), сформирована база знаний методов потокового анализа программ. Методы потокового анализа в базе знаний представлены на специальном языке описания методов потокового анализа программ (язык МПА). Разработаны каталоги классических, реструктурирующих и коммуникационных преобразований программ для машин с распределенной памятью, в которых знания о преобразованиях программ представлены в декларативном виде. Для интерпретации формул, приведенных в каталогах необходимо предварительно выполнить потоковый анализ программ, т.е. вычислить все фрагменты, дуги и атрибуты расширенной МСП.

4. Разработана онтология знаний о трансформациях программ (абстрактный синтаксис языка описания трансформаций программ - ЯОТ) и база знаний о трансформациях программ. Описание трансформации программ включает формулу трансформации и формулу контекстного условия, характеристическую функцию и стратегию преобразования. Контекстное условие в базе знаний представляет формулу (предикат), которая при подстановке в нее участка экономии станет истинным. Формула трансформации в модели онтологии представляет предикат, который при подстановке в него участка экономии и преобразованного участка экономии должен стать истинным.

5. Разработаны методы интерпретации базы знаний о трансформациях программ. Процесс интерпретации базы знаний о трансформациях программ рассматривается как последовательность шагов, на каждом из которых происходит применение к оптимизируемой программе ' одной трансформации. В качестве объекта оптимизации выступает модель программы. На каждом шаге процесса интерпретации базы знаний о трансформациях программ модель программы изменяется: к ней применятся правило трансформации, определяемое оптимизирующим преобразованием, применяемым на текущем шаге процесса оптимизации. Все подзадачи метода интерпретации связаны с интерпретацией знаний, представленных в базах знаний в виде формул и на основании этой интерпретации осуществляется анализ МСП, поиск участков экономии, построение характеристики участка экономии, реализация стратегии и построение новой МСП с преобразованным участком экономии.

6. Разработан и реализован специализированный банк знаний о преобразованиях программ, предложена архитектура банка знаний и метод его реализации, а также технология его использования для проведения компьютерных экспериментов, для моделирования блоков оптимизации в компиляторах и для поддержки обучения. Банк знаний состоит из информационной системы администрирования, информационного наполнения, оболочки информационного наполнения и программного наполнения.

7. Разработана технология использования методов и средств г преобразования программ с переменным набором трансформаций и проведено ее экспериментальное исследование. Основные преимущества предложенной технологии заключаются в следующем: технология открывает возможности построения классификаций преобразований программ. В том числе новых; позволяет формировать и развивать системы понятий в этой области; включать новые преобразования в систему знаний, оперативно знакомить специалистов с новыми результатами; проводить компьютерные эксперименты; открывает возможности сопоставления новых результатов с ранее полученными результатами.

259

ГЛОССАРИЙ

Ключевые слова. Банк знаний, Преобразования программ, Структурный редактор, Дерево абстрактного синтаксиса, Онтология, Трансформация, Контекстное условие.

Перечень обозначений и сокращений.

СБкЗ 1Ш - специализированный банк знаний о преобразованиях программ ИН - информационное наполнение ПН - программное наполнение

МСП Генератор - генератор моделей структурных программ

ДАС - дерево абстрактного синтаксиса

ИРУО - информация различных уровней общности

МСП - модель структурных программ

ЯМСП - язык моделей структурных программ

МБкЗ - многоцелевой банк знаний

СПТ - система построения трансляторов

МСТП - многоцелевая система трансформаций программ

СТП - система трансформаций программ

ГА - генетический алгоритм

ЯВУ - язык программирования высокого уровня

ПО — программное обеспечение

ЛОТ - язык описания трансформаций

СУ СБкЗПП - система упроавления СБкЗПП

ИАС - информационно-административная система МБкЗ

Определения терминов.

Преобразованием программ называется функция Т: Р—» Р, где Р — множество программ.

Трансформация - элементарное преобразование, которое может менять обрабатываемую программу.

Контекстное условие - условие на допустимые связи преобразуемого фрагмента с остальной программой, при выполнении которых трансформация по замене данного фрагмента в программе целесообразна и корректна с точки зрения всей программы. Контекстное условие предполагает потоковый анализ программы, связанный с исследованием всех возможных исполнений по программе.

Преобразование - суперпозиция элементарных преобразований (трансформаций).

Трансформация состоит из формулы трансформации и формулы контекстного условия (условия применимости этой трансформации).

261

Список литературы диссертационного исследования доктор технических наук Князева, Маргарита Александровна, 2009 год

1. Артемьева И.Л., Князева М.А., Купневич O.A. Модель онтологии предметной области "Оптимизация последовательных программ". 4.1. Термины для описания объекта оптимизации // НТИ. Сер. 2. 2002. -№ 12. - С. 23-28.

2. Артемьева И.Л., Князева М.А., Купневич O.A. Моделирование процесса оптимизации последовательных программ с использованием модели онтологий // Искусственный интеллект. Т. 3.- 2002.- С. 467473.

3. Артемьева И.Л., Князева М.А., Купневич O.A. Модель онтологии предметной области "Оптимизация последовательных программ". 4.2. Термины для описания процесса оптимизации // НТИ. Сер. 2. 2003. -№ 1. - С. 22-29.

4. Артемьева И.Л., Князева М.А., Купневич O.A. Модель онтологии предметной области "Оптимизация последовательных программ". Ч.З. Примеры описания некоторых оптимизирующих преобразований // НТИ. Сер. 2. 2003. - № 2 .- С. 27-34.

5. Аллен Р., Кеннеди К. Автоматическая трансляция Фортран-программ векторную форму // Векторизация программ: теория, методы, реализация : сб. науч. тр. М.: Мир, 1991. - С. 77-140.

6. Архангельский Б. В. Системы оптимизации программ / Б. В. Архангельский, А. И. Никитин. Киев: Техника, 1983. - 167 с.

7. АЛЬФА система автоматизации программирования / Наука: Новосибирск, 1967.

8. Ахо А. Теория синтаксического анализа, перевода и компиляции / А . Ахо, Д. Ульман Т 2. - Москва: Мир, 1978.-486 с.

9. Ахо Альфред. Компиляторы: принципы, технологии и инструменты / Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы: принципы, технологии и инструменты. Пер. с англ. - М.: Издательский дом «Вильяме», 2001. - 768 с.

10. Баяковский Ю.М., Штаркман Вик. С. Об одном методе оценки эффективности оптимизирующих преобразований // Оптимизация и преобразование программ : сб. науч. тр. Новосибирск, 1983.

11. Болтаев Т.Б. Анализ информационных влияний в модула-программах // Конструирование и оптимизация программ : сб. науч. тр. -Новосибирск : ИСИ СО РАН, 1993.- С 39-51.

12. Н.Букатов A.A., Коваль В.В. Методы реализации трансформационной машины в многоцелевой системе трансформации программ // Информационные технологии. 2004. - № 3. - С. 24-30.

13. Вагин В.Н. Дедукция и обобщение в системах принятия решений / В.Н. Вагин.- М.: Наука. Гл. ред. Физ.-мат. Лит, 1988.- 384 с.

14. Воеводин В.В. Математические модели и методы в параллельных процессах//В.В. Воеводин. М.: наука, Гл. ред. физ.- мат. лит., 1986.

15. Воеводин В.В. Параллельные вычисления / В.В. Воеводин, Вл.В. Воеводин СПб.: БХВПетербург, 2002. - 608 с.

16. Волконский В.Ю., Окунев С.К. Предикатное представление как основа оптимизации программы для архитектур с явно выраженной параллельностью программ // Информационные технологии. 2003.-№ 4.- С. 36-45.

17. Волков Д. А. Язык описания методов потокового анализа // Информатика и системы управления.- № 1(13).- 2007.- С.118-129.

18. Гаврилова Т.А. Базы знаний интеллектуальных систем / Т.А. Гаврилова, В.Ф. Хорошевский. СПб.Питер, 2000.

19. Гаврилова Т.Л. Использование моделирующей ЭС оптимизации программ для подготовки разработчиков программного обеспечения ЭВМ / Т.Л. Гаврилова, М.А. Князева Владивосток: ИАПУ ДВО РАН, 1992.-21 с.

20. Гаврилова Т.Л. Лабораторный практикум по спецдисциплине «Методы трансляции и оптимизации программ» : методические указания 4.1 / Т.Л. Гаврилова, М.А. Князева ДВГУ, 1993. - 28 с.

21. Гаврилова Т.Л. Лабораторный практикум по спецдисциплине «Методы трансляции и оптимизации программ» : методические указания 4.2 / Т.Л. Гаврилова, М.А. Князева. ДВГУ, 1993. - 19 с.

22. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Теория структур данных и синхронные параллельные вычисления // Кибернетика.-1976.- № 6.

23. Головкин Б.А. Построение вероятностной модели и анализ параллельных вычислительных процессов // Изв. АН СССР.-Техническая кибернетика. 1973. - № 3.

24. Головкин Б.А. Статистические методы формализации и диспетчирования параллельных вычислительных процессов // Автоматика и телемеханика.- 1974.- № 2.

25. Головкин Б.А. Параллельная обработка информации, программирование, вычислительные методы, вычислительные системы // Изв. АН СССР. Техническая кибернетика.- 1979. № 2.

26. Городняя Л.В., Касьянов В.Н. Проблемы и перспективы исследования преобразований программ на современных технических средствах // Проблемы конструирования эффективных и надежных программ : сб. науч. тр. Новосибирск, 1995. - С. 7-17.

27. Городняя JI.В. Информационно инструментальная система анализа и преобразования программ // Оптимизирующая трансляция и конструирование программ : сб.науч. тр. - Новосибирск, 1997. - С. 3442.

28. О.Грабарь А.В. Алгоритм потокового анализа с учетом точек доопределения переменных // Конструирование и оптимизация программ. Новосибирск: ИСИ СО РАН, 1993. - С 52-59.

29. Грис Д. Конструирование компиляторов для цифровых вычислительных машин / Д. Грис. М.: Мир, 1975. - 544 с.

30. Деннис Дж. Б. Схемы потока данных. Теория программирования. Ч. 2. // Дж. Б. Денис, Дж. Б. Фоссин, Дж. П. Линдерман Тр. симпоз. Новосибирск. - ВЦ СО АН СССР. - 1972.

31. Дроздов А.Ю., Степаненков A.M. Управляемые пакеты оптимизаций // Информационные технологии и вычислительные системы. 2004. - № 3.- С. 93-101.

32. Евстигнеев В.А. Применение теории графов в программировании / Евстигнеев В.А., Касьянов В.Н. М.: Наука, 1985.

33. Евстигнеев В.А. О некоторых формах промежуточного представления программ // Конструирование и оптимизация программ: сб. науч. тр. -Новосибирск : ИСИ СО РАН, 1993. С. 60-68.

34. Евстигнеев В.А. Теория графов: алгоритмы обработки деревьев / В.А. Евстигнеев, В.Н. Касьянов. Новосибирск: Наука, 1994.

35. Евстигнеев В.А. Касьянов В.Н. Инструментальная система для изучения преобразований программ // Интеллектуализация и качество программного обеспечения: сб. науч. тр. Новосибирск: ИСИ СО РАН, 1994. -С. 90-99.

36. Евстигнеев В.А. Основы параллельной обработки. Анализ программных зависимостей / В.А. Евстигнеев.- Новосибирск: НГУ, 1996.

37. Евстигнеев В.А., Касьянов В.Н. Оптимизирующие преобразования в распараллеливающих компиляторах // Программирование,- 1996.- № 6.- С. 12-26.

38. Евстигнеев В.А., Мирзуитова И.Л. Анализ циклов: выбор кандидатов на распараллеливание / Препринт № 58. Сибирское отделение Институт систем информатики им. А.П. Ершова. - Новосибирск, 1999.

39. Ершов А.П., Ляпунов A.A. О формализации понятия программы // Кибернетика. 1967.- №5.

40. Система БЕТА- сравнение постановки задачи с пробной реализацией // Тр. Всесоюз. Симпоз. По методам реализации новых алгоритмических языков. 4.1. Новосибирск, 1975. - С. 73-81.

41. Ершов А.П. Введение в теоретическое программирование (беседы о методе) / А.П. Ершов.- М.: Наука, 1977.

42. Ершов А.П., В.В. Грушецкий. Метод описания алгоритмических языков, ориентированный на реализацию. / Препринт. Новосибирск: ВЦ Сибирское отделение АН СССР, 1977.

43. Ершов А.П. Трансформационная машина: тема и вариации // Проблемы теоретического и системного программирования. Новосибирск: НГУ, 1982. - С. 5-24.

44. Ершов А.П., Касьянов В.Н., Покровский С.Б. и др. Методика разработки многоязыковых трансляторов на примере системы БЕТА // Математическая теория и практика систем программного обеспечения. Новосибирск: ВЦ СО АН СССР, 1982. - С.64-80.

45. Ершов А.П. Современное состояние теории схем программ / А.П. Ершов. Избранные труды. - Новосибирск: ВО "Наука". Сибирская издательская фирма, 1994.- 416 с.

46. Касперски К. Техника оптимизации программ. Эффективное использование памяти / К. Касперски. СПб.: БХВ-Петербург, 2003.464 с.

47. Касьянов В.Н. Методы построения трансляторов / В.Н. Касьянов, И.В. Поттосин.- Новосибирск: Наука, 1986.- 345 с.

48. Касьянов В.Н. Оптимизирующие преобразования программ / В.Н. Касьянов. М.: Наука. Гл. ред. Физ. - мат. лит., 1988.- 336 с.

49. Касьянов В.Н. 8ЫСШХЗ:Срезы программ и их использование / В.Н. Касьянов, И.Л. Мирзуитова. Новосибирск: Институт систем информатики, 2002. - 116 с.

50. Касьянов В.Н. Графы в программировании: обработка, визуализации и применение / В.Н. Касьянов, В.А. Евстигнеев,- СПб.: БХВ -Петербург, 2003. 1104 с.

51. Клещев A.C., Артемьева И.Л. Необогащенные системы логических соотношений. 4.1. // НТИ. Сер.2. 2000. - № 7. - С. 18-28.

52. Клещев A.C., Артемьева И.Л. Математические модели онтологий предметных областей. 4.2. Компоненты модели // НТИ. Сер.2. -2001. -№2.- С. 19-29.

53. Клещев A.C., Князева М.А. Управление информацией о преобразованиях программ. I. Анализ проблем и пути их решения на основе методов искусственного интеллекта // Изв. РАН. ТиСУ.- 2005. № 5.- С. 120-129.

54. Клещев A.C., Князева М.А. Управление информацией о преобразованиях программ. II. Внутреннее устройство специализированного банка знаний о преобразованиях программ // Изв. РАН. ТиСУ. 2005.- № 6. - С. 101-110.

55. Клещев A.C., Князева М.А. Интернет-система управления информацией о преобразованиях программ // Информационные технологии. 2007.- № 1.-С. 42-46.

56. Князева M.А., Матецкий C.B. Модель онтологии предметной области «Оптимизация коммуникаций для машин с распределенной памятью» //Искусственный интеллект.- Т. 3.- 2003.- С. 102-108.

57. Князева М.А., Клещев A.C. Концепция банка знаний в области оптимизации программ для поддержки научных исследований, образования и профессиональной деятельности // Владивосток: ИАПУ ДВО РАН, 2003.-28 с.

58. Князева М.А. Банк знаний о преобразованиях компьютерных программ //Искусственный интеллект.- Т. 3.- 2004.- С. 179-186.

59. Князева М.А. Учебно-методический комплекс по дисциплине «Оптимизация программ» / М.А. Князева. — Владивосток: Изд-во ДВГУ, 2004.

60. Князева М.А., Максимов C.B. Модель онтологии реструктурирующих оптимизирующих преобразований // II Международная конференция «Параллельные вычисления и задачи управления» Электронный ресурс. Труды конференции.-2004- (CD ROM).

61. Князева М.А. Оптимизирующие компиляторы, управляемые базами знаний // Информационные технологии. 2005.- № 12.- С. 42-48.

62. Князева М.А., Купневич O.A. Модель онтологии предметной области «Оптимизация последовательных программ». Определение языка модели структурных программ //НТИ. Сер. 2.- 2005. -№ 2.-С. 17-21.

63. Князева М.А., Купневич O.A. Модель онтологии предметной области «Оптимизация последовательных программ». Определение расширения языка модели структурных программ терминами потокового анализа // НТИ. Сер. 2.- 2005.- № 4.-С. 14-22.

64. Князева М:А;, Зотов И.Ю. Подсистема потокового анализа для распараллеливаемых программ в банке знаний: о преобразованиях программ//Искусственный интеллект.- Т.4.- 2005.-С^ 192-199;

65. Князева М.А., Тимченко В.А. Структурные редакторы программ на языках программирования высокого уровня: и генератор моделей структурных программ в банке знаний- о преобразованиях программ // Искусственный интеллект.- Т.4.- 2005.- С. 200-208.

66. Князева М.А., Плохих С. А. Измерительная- подсистема для преобразователя программ // Научная Сессия МИФИ -2005: сб. научн.тр. в;14 томах, т.З. М.: МИФИ; 2005 -С. 130-131.

67. Князева М.А. Учебно-методический комплекс «Оптимизация программ» // Компьютерные учебные программы и инновации. -2006.-№4. Режим доступа: http ://www.ofap .ru

68. Князева М.А., Бердник А.Н. Интерпретация знаний о трансформации. программ в специализированном банке знаний о преобразованиях программ // Искусственный? интеллект/Украина, Донецк: Институт проблем искусственного интеллекта. -2006; Т. С.191-200

69. Князева М.А. Интеллектуальная система управления знаниями об оптимизации программ // X национальная конференция по искусственному интеллекту с международным участием: Труды конференции.- В З-т.Т.1. М: Физматлит, 2006. - С. 61-68.

70. Князева М.А., Зотов И.Ю. Поиск участков программ для распараллеливания в системе потокового анализа в специализированном банке знаний о преобразованиях программ // Научная сессия МИФИ-2006. Сб. научн. тр. в 16 томах.- Т. 3. М: МИФИ, 2006.-С. 136-137.

71. Князева М.А., Волков Д.А. Потоковый анализ программ, управляемый знаниями //Программные продукты и системы. -2007.-№1.-С.49-52.

72. Князева М.А., Жеравин M.B. Генерация низкоуровневого кода, управляемая знаниями // Информационные технологии. 2007. - № 10.-С. 7-12.

73. Князева М.А., Маевский М.С. Проверка контекстных условий и поиск участков экономии в системе преобразований программ // Информационные технологии . 2007.-№ 12. - С. 70-73.

74. Князева М.А., Пронина Е.А. Методы потокового анализа распараллеливаемых программ в специализированном банке знаний о преобразованиях программ // Искусственный интеллект, Донецк: Институт проблем искусственного интеллекта. — 2007. Т.З. - С. 79-85.

75. Князева М.А., Тимченко В.А. Подсистема генерации единого внутреннего представления в системе преобразований программ. // Программные продукты и системы. -2008. -№ 1.- С.58-62.

76. Князева М.А. Преобразования программ с переменным набором трансформаций. Монография. Владивосток: Изд-во Дальневост. ун-та,2008.-210 с.

77. Князева М.А., Плохих С.А. Концепция системы управления специализированного банка знаний о преобразованиях программ // Информационные технологии.- 2009. № 5.-С. 36-40.

78. Кривой C.JI. Обобщение алгоритмов поиска инвариантных соотношений в программах над алгеброй термов // Кибернетика и системный анализ. 1996 .-№ 1.- С.24-36.

79. Купневич O.A. Князева М.А. Экспертная система, моделирующая процесс оптимизации программ. Модель оптимизации программ / Препринт. Владивосток : ИАПУ ДВО РАН, 1997. 40 с.

80. Котляров Д.В., Кутепов В.П., Осипов М.А. Граф-схемное потоковое параллельное программирование и его реализация на кластерных системах. // Изв. РАН. ТиСУ. 2005.- № 1.- С. 75-96.

81. Котов В.Е., Нариньяни A.C. Асинхронные вычислительные процессы над памятью // Кибернетика 1966.- № 3.

82. Котов В.Е. Теория параллельного программирования. Прикладные аспекты// Кибернетика.- 1974.- №1,2.

83. Котов В.Е. Введение в теорию схем программ / В.Е. Котов. -Новосибирск: Наука, 1978.

84. Лавров С.С. Об экономии памяти в замкнутых операторных схемах// ЖВМиМФ.- I.- 1961.- №4.

85. Любимский Э.З. О формальной постановке задачи реализации циклов// Программирование.- 1979.- №5.

86. Любимский Э.З., Миташюнас А.Ю. О задаче реализации составных циклов// Программирование 1981 - №1.

87. Ляпунов A.A. О логических схемах программ // Сб. «Проблемы кибернетики».- вып. I.- М.: Физматгиз, 1958.

88. Льюис Ф. Теоретические основы проектирования компиляторов / Ф. Льюис, Д. Розенкранц, Р. Стирнз. Москва: Мир, 1979.- 645 с.

89. Малинина Ю.В. Информационная система ТРАНСФОРМ по преобразованиям программ. // Проблемы конструирования эффективных и надежных программ. Новосибирск, 1995. - С. 128136.

90. Малинина Ю.В. ИС ТРАНСФОРМ: описание инфологической схемы базы данных. // Оптимизирующая трансляция и конструирование программ. Новосибирск, 1997. - С. 60-79.

91. Меткалф М. Оптимизация в Фортране / М. Меткалф.- Пер. с англ. М.: Мир, 1985.- 264 с.

92. Нариньяни A.C. Теория параллельного программирования. Формальные модели // Кибернетика.- 1974.- № № 3, 5.

93. Орлов В. А., Клещев А. С. Компьютерные банки знаний. Многоцелевой банк знаний // Информационные технологии. 2006.-№ 2.- С. 2-8.

94. Орлов В. А., Клещев А. С. Компьютерные банки знаний. Требования к Многоцелевому банку знаний // Информационные технологии. 2006.-№ 4.-С. 21-28.

95. Орлов В. А., Клещев А. С. Компьютерные банки знаний. Универсальный подход к решению проблемы редактирования информации // Информационные технологии. 2006.-№ 5.- С. 25-31.

96. Орлов В. А., Клещев А. С. Компьютерные банки знаний. Модель процесса редактирования информационного наполнения // Информационные технологии. 2006.-№ 7.- С. 11-16.

97. Падуа Д., Вольф М. Оптимизация в компиляторах для суперкомпьютеров // Русский перевод в книге "Векторизация программ: теория, методы, реализация". М.: Мир, 1991.- С. 7-47.

98. Поттосин И.В. К обоснованию алгоритмов оптимизации программ //Программирование.- 1979.- №2.- С. 3-13.

99. Поттосин И.В. О контекстных условиях для корректности преобразования расчленения и объединения циклов // Языки и системы программирования: сб.научн. тр.- Новосибирск: ВЦ СО АН СССР, 1979.-С. 139-149.

100. Поттосин И.В., Югринова О.В. Обоснование преобразования чистки циклов // Программирование.- 1980.- №5.

101. Поттосин И.В. О математических моделях программ, ориентированных на оптимизацию программ // Mathematical methods in informatic. Varna, 1981.-P. 1-24.

102. Поттосин И.В. Анализ возможностей и путей развития оптимизации программ //Программирование.-1991.- № 6.-С.64-80.

103. Поттосин И.В. Система Сократ: окружение программирования для встроенных ЭВМ // Новосибирск, 1992. (Препр./ РАН. Сиб. отд-е. ИСИ; N11).

104. Пратт Т. Языки программирования: разработка и реализация / Т. Пратт. М.: Мир, 1979. - 575 с.

105. Сабельфельд В.К. Метод разметки для глобального анализа свойств // Препринт ВЦ СО АН СССР № 699.- 20 с.

106. Серебряков В.А. Основы конструирования компиляторов / В.А. Серебряков, М.П. Галочкин. М.: Эдиториал УРСС, 2001.- 224 с.

107. СОКРАТ: Окружение надежного и эффективного программирования /Л.А. Захаров, В.Н. Касьянов, Т.В. Кузьминов и др. // Актуальные проблемы информатики, прикладной математики и механики. Часть III: Информатика.- Новосибирск-Красноярск, 1996.- С. 51-64.

108. Андрей А.Терехов, Наталья Вояковская, Дмитрий Булычев, Антон Москаль. Разработка компиляторов на платформе NET. 2001.-Режим доступа: http://se.math.spbu.ru

109. Уваров Д.Л. Оптимальный алгоритм чистки регулярных гамаков //Программирование.- 1998.- №2.-С. 68-80.

110. Уваров Д.Л. Оптимальный алгоритм чистки регулярных схем // Программирование.- 2000.- №6.- С. 20-44.

111. Фахрутдинов К.И. Языки программирования / К.И. Фахрутдинов.- Владивосток: Изд-во Дальневост. ун-та, 1991. 188 с.

112. Хантер Р. Проектирование и конструирование компиляторов /Р. Хантер .- пер. с англ.- М: Финансы и статистика, 1984.-232 с.

113. Хислей Ф.Н. Генерация высококачественного кода для программ, написанных на СИ. Режим доступа: http://rtfm.vn.Ua/prog/c/hicode.html

114. Шелехов В.И. Нахождение заместителей объектных переменных // Среда программирования: методы и инструменты.- Новосибирск, 1992.- С. 80-90.

115. Шелухина А. А. Оптимизирующие и реструктурирующие преобразования программ: к проблеме создания каталога // Интеллектуализация и качество программного обеспечения : сб. науч.тр.- Новосибирск: ИСИ СО РАН, 1994.- С. 129-138.

116. Штейнберг Б.Я. Математические методы распараллеливания рекуррентных циклов для суперкомпьютеров с параллельной памятью / Б.Я. Штейнберг.- Ростов н/Д: Изд-во Рост, ун-та, 2004.-192 с.

117. Artemjeva I.L., Knyazeva М. A., Kupnevich О. A. Processing of knowledge about optimization of classical optimizing transformations // International Journal Information Theories & Applications.- 2003.-V. 10.-№2. -P. 126-132.

118. Aho A. V. Compilers: Principles, Techniques, and Tools / A. V. Aho, R. Sethi, J.D. Ullman. Reading, Mass.: Addison- Wesley, 1986.

119. Allen F.E. Program optimization // Annual Review in Automatic Programming .-V. 5,- Pergamon Press, 1969. PP.239-307.

120. Allen F.E. Cock J. A catalogue of optimizing transformations // IBM Watson Research Center.- Yorktown Heights.- New York.

121. Allen J.R. Dependence analysis for subscribed variables and its application to program transformations // PhD thesis.- Rice Univ., 1983.

122. Alpern В., Wegman .N., Zadek F.K. Detecting equality of values in programs// Conf. Rec. Fifteenth ACM Symp. On Principles of Progr. Lang., Jan. 1988 .-New York.: ACM.- P. 1-11.

123. Babayan B.A. E2k Technology and Implementation.// Proceedings of the Euro-Par 2000. parallel Processing: 6th International.- V. 1900/2000. -January, 2000.-P. 18-21.

124. Bacon D.F., Graham S.L., Sharp O.J. Compiler transformations for high-performance computing // ACM Computing Surveys.- 1994.- V.26.- № 4.- PP.345-420.

125. Baer J.L. A survey of multiprocessing // Comp. Sci. Group.- Univ. Washington.- TR-72-05-01, 1972.

126. Baer J.L. Large scale systems // Ch.5. In " Computer Science", A.F. cardenor, L. Presser and M. A. Marin (Eds). N. Y., Wiley-Interscience, 1972.

127. Banerjee U. Speedup of ordinary programs // PhD thesis, Univ. of Illinois at Urbana-Champaign, (Oct.). -Tech. Rep., 1979, P. 79-989.

128. Banerjee. U. An introduction to a formal theory of dependence analysis // The J of Supercomputing.- 1988.- Vol. 2, № 2.- P. 133-149.

129. Bernstein P.A. Description problems in the modeling of asynchrous computer systems // Toronto, Univ. Of Toronto, Dep. Of Comput. Sci., Techn. Rep.-№48.- 1973.

130. Blum W., Doallo R., Eigenmann R. A.o. Parallel programming with Polaris // Computer.- 1992.-Vol. 29, N 12.- P. 78-82.

131. Bowie W.S. Applications of graph theory in computer systems // Intern. J. Comput. Inform. Sci.- 1976.- 5, No. 1.

132. Method of Programming // Selected Papers on the CIP project /Ed. by M. Broy and M. Wirsing.- Berlin a.o.: Springer- Verlag, 1991.- (Lect. Notes Comput. Sci.; Vol.544).

133. Burgess C.J., Saidi M. The automatic generation of test cases for optimizing Fortran compilers // Information and Software Technology. -1996.- V. 38. -P.lll-119.

134. Clifford N. Click. Combining Analyses, Combining Optimization // A thesis submitted in fulfillment of requirements for the degree Doctor of Philosophy.- Houston.- Texas.- February 1995.

135. Cocke J. Markstein P. Measurement of program improvement algorithms //In: Proc. IFIP Cong. 80.- 1980.- h. 221-228.

136. Coffman E.G. Denning PJ. Operating systems theory // Englewood Cliffs.- Prentic Hall.- 1973.

137. Cooper K., Kennedy K., Torszon L. The impact of interprocedual analysis and optimization in the R n environment // ACM Trans. On Prog. Lang, and syst. №8 (4).- 1986.- P. 491-523.

138. Cousot P., Cousot R. Abstract interpretation frameworks // Rapport de Recherche.- Ecole Polytechnique.- Laboratoire dTnformatique, 1992.

139. Choi, J.-D., Burke, M., and Carini, P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects // 20th ACM Symposium on Principles of Programming Languages.- ACM Press.- 1993. New York.-P.232-245.

140. Dieffendorf K. The Russians Are Coming. Supercomputer Maker Elbrus Seeks to Join x86/IA-64 Melee // Microprocessor Report, V. 13, #2. February 15.- 1999.-P.1-7.

141. Ershov A.P. Alpha an automatic programming system of high efficietcy// J. ACM 131.- 1966.- P. 17-24.

142. Foo S. Y., Musgrave G.Comparison of graph models for parallel computation and their extension. // Intern. Symp. Comput. Hardware Descript. Lang. And Appl.- Proc.- N. Y., 1975.

143. Fenton N.E., Pfleeger S.L. Software metrics: A rigorous & practical approach // Second edition. International Tompson Computer Press, 1996.-P.638.

144. Ferrante J., Ottenstein K.J., Warren J.D. The program dependence graph and its use in optimization // ACM TOPLAS. 1987.- V. 9. -№ 3.- PP 319-349.

145. Gerhard Goos, William Waite. Compiler Construction.Springer / Jan, 1984.

146. Girkar M., Polychronopoulos C.D. The HTG: an intermediate representation for program based on control and data dependences //-Univ. Of Illinois at Urbana-Champaign. CSRD Rep.- 1046.- May 1991.

147. Hobbs L. C. Parallel processor systems, technologies, and applications / Hobbs L. C., D.J. Theis, J. Trimble,H. Titus, I. Highberg (Esd). N.Y. -Spartan Books, 1970.

148. Holt A. W., commoner F. Events and conditions // Record of the Project MAC Conf. On Concurrent Systems and Computation.-1970.-N.Y.ACM, 1970.

149. Hunter R. The essence of compilers. / Hunter R. Prentice Hall Europe, 1999.-P. 237.

150. Haghighat M.R. Symbolic analysis: a basis for parallelization, optimization and cheduling of programs // 1314.-ps.

151. M. Haghighat and C. Polychronopoulos. Symbolic analysis: A basis for parallelization, optimization, and scheduling of programs // In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing.- Portland.- OR.- August 1993.

152. Hect M. S. Flow Analysis of Computer Programs // Programming Languages Series. -North-Holland.- NewYork, 1977.-P. 232.

153. Irene L. Artemjeva, Margarita A. Knyazeva, Oleg A. Kupnevich Processing of knowledge about optimization of classical optimizingtransformations // International Journal Information Theories & Applications.- Vol. 10.-No 2.-2003.-P. 126-132.

154. Intel C-H- Compiler 7.0 and GNU Compiler 3.2 Performance on IA-32 and Itanium Architecture.-Режим доступа: http: // www.intel.com /software /products /compilers/techtopics/compilergnuperf.pdf

155. Intel С++ Compiler 8.0 for Windows, Intel Corporation.-Режим доступа: ftp: //download.intel.com/ software/products/compilers/docs/cwin/ ccug.chm

156. Karp R.M., Miller R. E. Parallel program schemata // J. Comput. Syst. Sei.- 1969.-3.-No 2.

157. Kam J.B., Ullman J.D. Monotone data flow analysis frameworks // Acta Informatica.-1977. 7:3. -P. 305-318.

158. Kam J.B., Ullman J.D. Global Data Flow Analysis and Iterative Algorithms// JACM.-1976.- №23.-P. 158-171.

159. Karsai Gabor, Agrawal Aditya, Shi Feng, Sprinkle Jonathan. On The Use of Graph Transformation in the Formal Specifications of Model Interpreters.- Ржим доступа: http://www.isis.vanderbilt.edu/ publications/ archive/Karsai GOO 2003 On the Use.pdf

160. Kennedy K., Uen A. Compilers: a dependence-based approach. 2002.

161. A unified approachto global program optimization // ACM Symposium on Principles of Programming Languages.- 1973.-P. 194-206.

162. Kleschev A.S. Artemjeva I.L. Mathematical models of domain ontologies //Technical report 18-2000.-Vladivostok.- IACP ofFEBRAS.-431. P

163. Kleschev A.S., Artemjeva I.L. Unenriched logical relationship systems // Technical report 1-2000. Vladivostok.- IACP of FEBRAS.- 431. P

164. Knyazeva M.A., Kupnevich O.A. Expert system for simulation of program optimization. Joint NCC&IIS Bull.,Comp. Science,12 (1999),24-28.

165. Knyazeva M.A., Kleschev A.S. A concept of the knowledge bank on computer program transformations // Proceedings of Xl-th International conference "Kowledge-dialog-solution"-Varna, 2005.- V. 1.- P.147-152.

166. Knyazeva M., Keshchev A. A Web-system for Computer Experiments in the Field of Program Transformations // International Journal Information Theories & Applications. Bulgaria, Sofia: FOI-COMMERCE. - 2006. -Vol. 13. -№ 4 — PP. 331-336

167. Knyazeva M.A., Timchenko V.A. Ontology-based model of representation of knowledge about language mappings // International Book Series "INFORMATION SCIENCE & COMPUTING", Number 5. Supplement to the International Journal "INFORMATION

168. TECHNOLOGIES & KNOWLEDGE" Bulgaria, Sofia: FOI ITHEA. -2008. - Vol. 2. - PP. 111-118-IS SN: 1313-0455 (printed), 1313-048X(online),1313-0501 (CD/DVD).

169. Kuck DJ.,Kuhn R.H., Leasure В., Wolfe M. The structure of advanced retargetable vectorizer. Tutorial on Supercomputers:Designs and Applications // K.Hwang, Ed. IEEE Press, New York, 1984.- P. 163-178.

170. Lattner Ch. LLVM: An Infrastructure For Multi-Stage Optimization, B.S., University of Portland, 2000.- Режим доступа: http://llvm.cs.uiuc.edu/ pubs/ 2002-12-LattnerMSThesis.pdf

171. Miller R.E. Some theoretical of parallel computation // Intern. Comput. Symp.- Venice, 1972.- Proc. ACM.- S. 1.

172. Miller R.E. A comparison of some theoretical models of parallel computation // IEEEE Trans. Comput., 1977.- C-26, No 2. Special Issue on Parallel Proccessors and Processing.

173. Muchnick S.S. Advanced compiler design&implementation.l997.

174. Padua D.A., Wolf M.J. Advanced compiler optimization for supercomputers // Communs. ACM.- 1986.-Vol.29.- № 12.- P. 1184-1201.

175. Rodriguez J.E. A graph model for parallel computation // Cambridge.- MIT Project MAC report.- MAC-TR-64.- 1967.

176. Ripken K. A formal method for describing machine code generation with local optimization // In "Le point sur la compilation".- INRIA.- 1978.

177. Scott R. Ladd. An Evolutionary Analysis of GNU С Optimizations.-Режим доступа: http://www.coyotegulch.com/acovea/

178. Slutz D.R. The flow graph model of parallel computation // Cambridge. MIT Project MAC report. MAC-TR-53.- 1968.

179. Slutz D.R. Flow graph schemata. Record of the Project MAC Conf. On Concurrent Systems and Parallel Computation, 1970. N.Y. ACM, 1970.

180. Schneck P. B. A Survey of Compiler Optimization Techniques.

181. Stallman R. Using and Porting the GNU Compiler Collection / R. Stallman.- Addison-Vesley Publishing.- New York.- 2000 556 p.

182. Taentzer Gabriele. Towards Common Exchange Formats for Graphs and Graphs Transformation Systems.-Режим доступа: http://www.elsevier.n1/gej-ng/31/29/23/73/28/58/44.4.004.pdf

183. Tseng C-W. An Optimizing Fortran D Compiler for MIMD Distributed- Memory Machines / C-W. Tseng.- Rice University.- Houston, Texas, 1993.

184. Wilhelm R. Computation and use of data flow information in optimizing compilers // Acta info. №12 (3) 1979.

185. Wilson R.P., FrenchR.S., Wilson C.S. a.o. SUIF: An infrastructure for research on parallelizing and optimizing compilers // SIGPLAN Not.-1994.-Vol. 29, N12.-P. 31-37.

186. Wulf W.A. Trends in the design and implementation of programming languages //Computer. #3 (1), 1980. P. 14-24.