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

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

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

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

УДК:004.415.52

Аннотация

В настоящее время рефакторинг является неотъемлемой частью процесса разработки программного обеспечения. При этом не существует инструментов, позволяющих верифицировать проводимые рефакторинги, что приводит к возникновению ошибок. В докладе предложен способ верификации одного из методов рефакторинга, замены условного оператора полиморфизмом, на основе правил редукции в языке программирования Featherweight Java, и доказана корректность предложенного способа.

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