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