Сборники тезисов • Информационные и интеллектуальные системы и технологии • Информационные системы и технологии
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.
Применение правил редукции для верификации рефакторных преобразований структуры программ в языке программирования Featherweight Java
УДК: 004.415.52
Аннотация:
Рассмотрен способ верификации рефакторных преобразований в языке программирования Featherweight Java. Приведен пример верификации одного из видов рефакторинга - выделения метода, в случае отсутствия непосредственной рекурсии.