Автоматическая трансляция проекта Dypgen с языка OCaml на язык F# Научный руководитель: Я. А. Кириленко Выполнил : студент 345 гр. Эдуард Баранов.

Презентация:



Advertisements
Похожие презентации
Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Я.А. Кириленко.
Advertisements

Разработка архитектуры для генератора синтаксических анализаторов Выполнил: Улитин Константин Научный руководитель: Я.А. Кириленко Курсовая.
Генератор синтаксических анализаторов для решения задач автоматизированного реинжиниринга программ Дипломная работа студента 544 группы Чемоданова Ильи.
Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Межъязыковое взаимодействие OCaml.
Теория языков программирования и методы трансляции Тема 1 Основные концепции.
Инструмент реинжиниринга спецификаций трансляций Константин Андреевич Улитин Научный руководитель: Я.А. Кириленко Рецензент: Н.М. Тимофеев Санкт-Петербургский.
Анализ тестового покрытия компиляторов Выполнила: Байцерова Ю.С., 545 Гр. Научный руководитель: ст. преп. Вояковская Н. Н. Рецензент: ст. преп. Луцив Д.В.
Общее устройство компиляторов. Использование Lex и Yacc Сергей Нечаев, аспирант МО ВВС ИВМиМГ.
Поддержка разработки Parallels Business Automation в среде Eclispe Научный руководитель: Сергушенков Ю. А. Рецензент: доцент кафедры системного программирования,
ЛАБОРАТОРНАЯ РАБОТА 1 ПРОЕКТИРОВАНИЕ И РЕАЛИЗАЦИЯ ТАБЛИЦ, ИСПОЛЬЗУЕМЫХ В ТРАНСЛЯТОРЕ Рейн Т. С.
Автоматизация верификации программ Результаты Преобразованная программа Модифицированная программа Условия верификации Недоказанные условия Аннотированная.
Живые задачи
Использование и архитектура Parsec Дмитрий Тимофеев Санкт-Петербургская группа пользователей Haskell 15 декабря 2007 г.
Система контроля выполнения лабораторных работ и удаленного консультирования студентов Научный руководитель: Бочков Василий Викторович Выполнил: Бобрышев.
Реализация индексного анализа для деревьев циклов любого вида сложности Выполнил : студент 818 гр. Юдин Павел Научный руководитель : к. т. н. Муханов Л.
Поддержка избыточного кодирования. Оптимизация, настройка и аппробация выбранного алгоритма под поставленную задачу. Оценка полученных результатов Мальчевский.
Синтаксический анализ для «встроенных» языков Андрей Бреслав Соавторы: A. Annamaa, V. Vene (University of Tartu, Estonia)
1 Приложение НЕРАЗРЕШИМЫЕ И РАЗРЕШИМЫЕ ПРОБЛЕМЫ, КАСАЮЩИЕСЯ ФОРМАЛЬНЫХ ЯЗЫКОВ.
Функциональное программирование Лекция 11. Содержание Анализ искусственных и естественных языков Метапрограммирование: Quotations 2.
Синтаксис
Транксрипт:

Автоматическая трансляция проекта Dypgen с языка OCaml на язык F# Научный руководитель: Я. А. Кириленко Выполнил : студент 345 гр. Эдуард Баранов

YaccConstructor Генератор синтаксических анализаторов для произвольных контекстно-свободных грамматик. Разрабатывается на F#

GLR Generalized Left-to-right Rightmost derivation parser поддержка неоднозначных контекстно- свободных грамматик создает множество деревьев разбора (лес)

Dypgen GLR-генератор для Objective Caml Обрабатывает неоднозначные грамматики Приоритеты и отношения Саморасширяемые грамматики «Живой» проект

Цели работы Изучение возможности трансляции кода с языка OCaml в F# Реализация автоматического транслятора для проекта Dypgen

Реализация Camlp4 – Pre-Processor-Pretty-Printer для Oсaml Реализация дополнительного принтера для Camlp4

Результаты Изучены возможности Camlp4 Изучена методика построения трансляторов Изучена возможность трансляции кода с языка OCaml на F# Создан транслятор, преобразующий структуры OCaml в структуры F#