Исследовательская группа
Лаборатория верификации и анализа программ
HoarFrost
Владимир ИцыксонАктивный
HoarFrost — это инструмент, помогающий переносить код из одной библиотеки в другую.
Основная цель проекта LibraryMigration — продемонстрировать возможность автоматической миграции объектно-ориентированного кода на новый набор библиотек. Проект состоит из метода миграции и инструмента HoarFrost, который действует как прототип реализации метода. В основе метода миграции лежит формализм, созданный авторами для описания семантики библиотек. Формализм определяет поведение библиотеки с помощью системы расширенных конечных автоматов (EFSM).
В настоящее время данный метод и инструмент позволяют успешно переносить несколько реальных проектов с открытым исходным кодом.
Участники
Материалы
Публикации
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson