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

Slides:

Advertisements

Similar presentations

Предметно-ориентированные языки и Lisp как средство их построения Дмитрий Бушенко 30.

Advertisements

Поиск оптимального набора параметров оптимизаций компилятора Брусенцов Леонид Евгеньевич студент 4 курса ФИТ НГУ Руководители:Илья.

Разработка и внедрение объектно-ориентированной библиотеки для автоматизации тестирования Кафедра системного программирования Студент: Олейник А.Л. 544.

Дипломная работа Ивановой О.О., группа 545 Научный руководитель: д. ф.-м. н., профессор Терехов А.Н. Генерация кода по диаграмме активностей.

Автоматизированная поддержка пользовательской документации Web-приложений, разрабатываемых в среде WebRatio Студент: Дорохов Вадим, 544 гр. Научный руководитель:

Разработка архитектуры для генератора синтаксических анализаторов Выполнил: Улитин Константин Научный руководитель: Я.А. Кириленко Курсовая.

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

Применение алгоритмов SuperResolution к лицам Выполнил: студент 345 гр., Мокаев Руслан Научный руководитель: Пименов Александр.

Савенко Мария Олеговна, 361 группа Научный руководитель: старший преподаватель В.С.Полозов.

Инструменты анализа данных метилирования генов в цепочке ДНК. Инструменты анализа данных метилирования генов в цепочке ДНК. Руководитель Вяххи Н. И. Студент.

Котов Юрий, 345 гр. Научный руководитель: Косякин А. Н. ведущий разработчик, ООО "Артек"

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

Разработка информационной системы накопительной программы лояльности для мобильных устройств Автор: Дьяченко Василий Владимирович мат-мех, 545 группа Научный.

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

Курсовая работа студента 345 группы Чуновкина Фёдора Дмитриевича Научный руководитель: Бондарев А.В. Санкт-Петербургский Государственный Университет Математико-механический.

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

Создание сервиса синхронизации разнородных баз данных Допущена к защите зав. кафедрой: д.ф.м.н., профессор Терехов А.Н. Научный руководитель: доцент Графеева.

1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.

Параметризация устройств сетевого управления Казакова А.С. Научный руководитель: Венгерова Е.А. Рецензент: Ушаков К.С. Кафедра системного программирования.

Управление и Конфигурирование Встроенных Систем Ушаков Константин, 545 группа Руководитель: Елена Венгерова.

Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.

Компонент 3 Разработка системы показателей для измерения результативности органа исполнительной власти Component 3 Development of a system of.

1 Генерация контекстных ограничений для баз данных Выполнил: Жолудев В. Научный руководитель: Терехов А.Н. Рецензент: Иванов А.Н.

Аппаратное ускорение алгоритмов компьютерного зрения Стефан Бояровски, 361 группа Научный руководитель: Сергей П. Шувалкин.

Apache Harmony или как сделать курсовую работу в рамках этого проекта Фурсов Михаил.

Разработка интеллектуальной многоагентной системы адаптивных роботов для игры в футбол Выполнили: А. А. Коробкин, 545 гр Г. М. Комаров, 544 гр Научный.

NSU-Intel Lab Название проекта. Project goals Mission: что изменит реализация этого проекта в мире Vision: что нужно сделать для того, чтобы это изменение.

Программа построения институционального партнерства Тасис (IBPP) “УКРЕПЛЕНИЕ КУЛЬТУРЫ ПРАВ ЖЕНЩИН В КАЗАХСТАНЕ” В КАЗАХСТАНЕ” ИНТЕГРИРОВАННЫЙ ПРОЕКТ ПО.

Поиск ошибок в программах на языке Ruby с использованием вывода типов Санкт-Петербург, 2008г. Выполнил: Шпынов Олег, 545 гр. Научный руководитель: Ломов.

Сопоставление полигональных объектов на основе независимой фрагментации контуров Выполнил: Ю. М. Плотников Научный руководитель: канд. ф.-м. наук К. В.

Анализ способов использования и причин неиспользования UML на практике Чернятчик Роман 545 группа научный руководитель: к.ф.-м.н., доц. Кознов Д.В. рецензент:

EDCWiki Electronic Document Circulation using wiki Система электронного документооборота на основе wiki Участники: Кузьмин Константин, Цыцулин Виталий.

Микрофазное расслоение в расплаве двойных гребнеобразных полимеров Выполнил студент Палюлин В.В. Научный руководитель: к.ф.-м.н. Потемкин И.И.

Создание экспериментального стенда для оценки методов поиска изображений по содержанию Выполнила: Теплых М. А. Научный руководитель: Васильева Н. С. Рецензент:

EDCWiki Electronic Document Circulation using wiki Система электронного документооборота на основе wiki Участники: Кузьмин К.А., Цыцулин В. И. Руководитель:

Оптимизация Just – in - time компилятора методом профилирования значений Соколов Андрей Владимирович, ФФ НГУ, 3 курс, Руководитель:

Замена цвета выбранного элемента одежды в видеопотоке Научный руководитель Аспирант кафедры СП Жуков Н.Н. Исполнитель Студент 345-ой группы Григорьев А.В.

Конвертор байт-кода java в CIL Д. С. Возжаев, 544 группа Научный руководитель: д. т. н. проф. В. О. Сафонов Рецензент: асп. А. Н. Близнюк Санкт-Петербургский.

Симулятор квантовых вычислений Выполнил: Гедерцев А.С. Руководитель, д.ф.-м.н., профессор: Граничин О.Н.

Нахождение ориджинов в последовательности нуклеотидов Выполнил: Ромашкин Амир, 445 гр. Руководитель: Профессор АФТУ, Порозов Юрий.

 «Развитие туризма в Северо-Западном регионе РФ»  Почему на Северо-западе России нужен проект в сфере туризма  Общие цели  Организация проекта и подход.

Вычисление типов в императивных динамически типизированных языках. Михаил Калугин, студент 3 курса ММФ Научные руководители: Игорь Николаевич Скопин Андрей.

Увеличение модульности программного обеспечения на языке Java Курсовая работа студента 345 группы Абишева Тимура Маратовича Научный руководитель: Профессор.

Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Применение диаграмм двоичных решений.

Реализация XPath над S-выражениями 2007 Миленин Евгений, гр. 544 Кафедра Системного Программирования Математико-Механический ф-т, СПбГУ Научный руководитель:

Анализ и Проектирование качественных приложений Презентация по книге Крэга Лармана.

Поиск оптимального набора значений опций компиляции Студент: Чирцов Артём, ФИТ/IV Руководитель: Илья Чёрный

Разработка инструментария для создания нейронных сетей на мобильных платформах на примере iOS Золотухина Алина Манаев Дмитрий 445 группа Руководитель:

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

Предметно-ориентированное моделирование приложений для платформы Android Никонова Ольга СПбГУ Научный руководитель Брыксин Т.А.

Объектно-ориентированное проектирование DSP-систем в телекоммуникациях Подготовил: Сергеев Виктор Николаевич СПбГУ, математико-механический Факультет,

Проект «Безопасный браузер» Визовитин Николай Научный руководитель: Д.В. Иртегов.

Стр 1 Март 2010 Разработка и проведение социальных программ На примере IV Всероссийского конкурса научно- инновационных проектов для старшеклассников «Технологии.

Автор: студент 545 группы Абусалимов Э.Ш. Научный руководитель: асп. каф. системного программирования Бондарев А.В. Рецензент: Венгеров В.В. Система сборки,

МЕТОД СКОЛЬЗЯЩЕГО КОНТРОЛЯ ДЛЯ ОЦЕНКИ КАЧЕСТВА РЕКОМЕНДАТЕЛЬНЫХ ИНТЕРНЕТ- СЕРВИСОВ А.Ю. Каминская, Р.А. Магизов Научный руководитель – Д.И. Игнатов Государственный.

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

Универсальная интеграция технологии построения отчетов в семейство.NET приложений Презентация дипломной работы Порсева Анатолия, 542 гр. Санкт-Петербург.

Мультиагентные системы и их применение в сетевых задачах Выполнил: студент 545 гр. Г.И. Вольфсон Научный руководитель: д. ф.-м. н. А.Н.Терехов 2007.

Проверка эквивалентности срединной и линейной осей многоугольника Дипломная работа студента 545 группы Подколзина Максима Валериевича Санкт-Петербургский.

«Интернет радио» Разработчик Демидко А.А. Преподаватель Бронштейн М.Е.

Алгоритм исправления ошибок при анализе в парсерах типа перенос-свертка, основанный на предположении об избыточности языка Дипломная работа студента 545.

Перенос технологии REAL-IT на платформу Microsoft.Net Нестеров Антон Научный руководитель: Иванов А.Н. Рецензент: Серебрякова Г.М.

Сравнение подходов к индексированию XML документов c поддержкой некоторых операций модификации Выполнил: Василий Шикин, 545 группа Руководитель: Дмитрий.

Санкт-Петербургский Государственный Университет Экономики и Финансов

Исследование возможностей сервисной шины SonicMQ Дипломная работа студентки 545 группы Комольцевой Дарьи Владимировны Научный руководитель: Графеева Н.Г.

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

Выполнил студент П.А. Македонов Руководитель А.Ф. Усов Дипломная работа Тема: Разработка макетного образца генератора высоковольтных импульсов по схеме.

СОСТАВЛЕНИЕ ОПТИМАЛЬНОГО ПЛАНА ПРОДАЖ НА ПРИМЕРЕ МНОГОКВАРТИРНОГО ДОМА ЖДАНОВА МАРИЯ 4 КУРС, НИУ ВШЭ СПБ, СПБШЭМ, ДЕПАРТАМЕНТ ЭКОНОМИКИ ГРУППА « АНАЛИТИЧЕСКАЯ.

Муниципальное общеобразовательное учреждение «Средняя общеобразовательная школа №9» г. Сыктывкар Презентация “Ancient China” /«Древний Китай». Информационный.

Across the USA урок-путешествие (9-й класс). ЦЕЛИ: Обобщить знания учащихся о стране изучаемого языка (США).

Presentation transcript:

Автоматическая трансляция проекта 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#