Исследовательская группа
Лаборатория верификации и анализа программ
HoarFrost
Ицыксон ВладимирАктивный
HoarFrost is a tool that helps to migrate code from one library to another.
The main goal of the LibraryMigration project is to demonstrate the feasibility of an automatic migration of object-oriented code to a new set of programming libraries. The project contains of the migration method and the tool named HoarFrost which acts as a method implementation prototype. The migration method is based on the created by the authors formalism for description of libraries' semantics. The formalism specifies a library behaviour using a system of extended finite state machines (EFSM).
Currently the method and the tool are capable to successfully migrate several real-world open-source projects.
Участники
Алексюк Артем
Ицыксон Владимир
Материалы
Публикации
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson