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

• Автор: Климов, Юрий Андреевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 183 с. : ил.

Введение

Глава 1. Специализация программ и метод частичных вычислений

Введение

Специализация программ методом частичных вычислений

Корректность сиециализатора

Анализ времен связывания

Генерация остаточной программы

Особенности объектноориентированных языков

Обзор специализаторов для объектноориентированных языков

Пример
Выводы
Глава 2. Стековый объектноориентированный язык 0Ь
Введение
Описание программ на языке 0Ь
Интерпретация программ на языке 0Ь
Типизация языка 0Ь
Выводы
Глава 3. Анализ времен связывания
В ведение .
ВТразметка
Правила ВТразметки
Построение ВТразметки
Выводы
Глава 4. Генерация остаточной программы
Введение
Описание генератора остаточной программы
Обработка программы
Обработка метода 4
Обработка последовательности инструкций
Обработка инструкций
Выводы
Глава 5. Доказательство корректности
Введение
Структура доказательства корректности
База индукции
Шаг индукции программа
Шаг индукции метод и инструкции и v
Шаг индукции последовательность инструкций
Шаг индукции инструкции
Завершение доказательства
Выводы
Заключение
Литература


Глава 1. Глава 2. Глава 3. В ведение . Глава 4. Глава 5. Данные методы, с одной стороны, значительно облегчают труд программиста. РЕ. С и v. ВТкучи. Россия, ПереславльЗалесский,
объединенном научном семинаре по робототехническим системам ИПМ им. М.В. Келдыша РАН, МГУ им. М.В. Ломоносова, МГТУ им. Н.Э. Программирование ИПМ им. М.В. ИПС им. А.К. Новороссийск, . Глава 1. Языки программирования также непрерывно развивались. Многие современные компиляторы обладают встроенными оптимизаторами. РЕ . Метод частичных вычислений основан на разделении операций и других
программных конструкций на статические и динамические . Рис. ВТА, ВТанализ рис. Рис. Пример исходная и размеченная программы на функциональном языке. Рис. Пример результат специализации программы на функциональном языке. Разметка программы строится аналогично рис. Рис. Пример исходная и размеченная программы на императивном языке. Рис. Пример результат специализации программы на императивном языке. РЕ, во втором i РЕ. РЕ. Рассмотрим программуот переменных x,. Пусть значения аргументов х, . Пусть в результате специализации программыпри известных значениях х0,. X,. V переменных м,. Если ,X,. Х0, . Уо то Уи,,. Рис. Определение корректности специализации. Такое разделение, как правило, может быть выполнено различными способами. Можно даже все данные отнести к динамическим. ВТразметку разметку инструкций, элементов стека и переменных. ВТразметками. Моновариантный по классам каждый класс размечается только одним способом. Поливариантный по классам каждый класс может иметь несколько разметок.