Вбудування сімейства логічних мов із можливостями перепрограмування монадичної уніфікації в SCALA

von Шевченко, Р.С.
Veröffentlicht 2025

Вбудування сімейства логічних мов із можливостями перепрограмування монадичної уніфікації в SCALA

von Шевченко, Р.С.
Veröffentlicht 2025

Система символьных вычислений для программирования динамических приложений

von Дорошенко, А.Е., Шевченко, Р.С.
Veröffentlicht 2003

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

von Дорошенко, А.Е., Шевченко, Р.С.
Veröffentlicht 2008

n- исчисление – реалистичная формализация класса переписывающих систем

von Шевченко, Р.С., Дорошенко, А.Е.
Veröffentlicht 2011

TermWare-3 – система переписування термів, заснована на контекстному численні

von Шевченко, Р.С., Дорошенко, А.Ю.
Veröffentlicht 2019

Засіб статичного аналізу .NET програм за допомогою переписувальних правил

von Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С.
Veröffentlicht 2020

О моделировании сенсорних сетей средствами високого уровня

von Дорошенко, А.Е., Жереб, К.А., Шевченко, Р.С.
Veröffentlicht 2006

Формальні та адаптивні методи й інструментальні засоби паралельного програмування

von Дорошенко, А.Ю., Бекетов, О.Г., Жереб, К.А., Іваненко, П.А., Овдій, О.М., Шевченко, Р.С., Яценко, О.А.
Veröffentlicht 2017