Исследовательская группа

Лаборатория верификации и анализа программ

HoarFrost

Ицыксон ВладимирАктивный

HoarFrost — это инструмент, помогающий переносить код из одной библиотеки в другую.

Основная цель проекта LibraryMigration — продемонстрировать возможность автоматической миграции объектно-ориентированного кода на новый набор библиотек. Проект состоит из метода миграции и инструмента HoarFrost, который действует как прототип реализации метода. В основе метода миграции лежит формализм, созданный авторами для описания семантики библиотек. Формализм определяет поведение библиотеки с помощью системы расширенных конечных автоматов (EFSM).

В настоящее время данный метод и инструмент позволяют успешно переносить несколько реальных проектов с открытым исходным кодом.

Участники

Алексюк Артем
Алексюк Артем
Ицыксон Владимир
Ицыксон Владимир

Материалы

Публикации

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

Подробнее