Например, Бобцов

Применение правил редукции для верификации рефакторных преобразований структуры программ в языке программирования Featherweight Java

Сборник тезисов
Конференция:IV Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Информационные системы и технологии
Год:2015

Применение правил редукции для верификации рефакторных преобразований структуры программ в языке программирования Featherweight Java

Демин Андрей Васильевич
Баранов Сергей Николаевич
УДК:004.415.52
Скачать PDF

Аннотация

Рассмотрен способ верификации рефакторных преобразований в языке программирования Featherweight Java. Приведен пример верификации одного из видов рефакторинга - выделения метода, в случае отсутствия непосредственной рекурсии.

Постоянный URL

Материалы конференций

Содержание © 1993–2024 Университет ИТМО
Разработка © 2015 Университет ИТМО