Показ
1 - 3
результатів із
3
для пошуку '
Shevchenko, R.S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Shevchenko, R.S.
Показ
1 - 3
результатів із
3
для пошуку '
Shevchenko, R.S.
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Числення контекстних термів для систем переписування
за авторством
Shevchenko, R.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
TermWare3 – система переписування термів, заснована на контекстному численні
за авторством
Shevchenko, R.S.
,
Doroshenko, A.Yu.
Опубліковано 2019
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Вбудування сімейства логічних мов із можливостями перепрограмування монадичної уніфікації в SCALA
за авторством
Shevchenko, R.S.
,
Doroshenko, А.Yu.
,
Yatsenko, O.A.
Опубліковано 2024
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
UDC 004.4'24
code analysis
programming languages
term rewriting
termware
type systems
УДК 004.4'24
автоматизація розробки програмного забезпечення
алгебра типів
аналіз коду
мови програмування
переписування термів
системи типів
системы типов
языки программирования
Scala
TermWare
UDC 004.424
automated software design
declarative programming
embedding
logical programming
monad
object-oriented language
software development automation
term
unification
УДК 004.424
автоматизация разработки программного обеспечения
автоматизированное проектирование программ