Описано конструкцію системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та обмеження на співставлення у разі застосування (зовнішній контекст), що надає змогу занурити операції розв'язування імен в математичну семантику переписувальних правил. Описано метод ефективної диспетчеризації вибору правил, а також автоматичне перетворення виразів між системами на основі алгебричних типів мови Scala та контекстними термами.

• Шевченко Ростислав Станіславович (медичні науки)
• Шевченко Руслан Сергійович (фізико-математичні науки)
• Дорошенко Анатолій Юхимович (1948–) (фізико-математичні науки)
• Дорошенко Анастасія Юріївна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"