Зображення обкладинки

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

У статті запропонована структура для вбудовування методів логічного програмування та програмування в обмеженнях у мову Scala шляхом побудови логічної предметно-орієнтованої мови навколо уніфікації типізованої логіки на основі монад. Відмінності в можливостях логічних механізмів можна виразити як під...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025-01-18
Автор:	Шевченко, Р.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	2025-01-18
Теми:	Мови програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/201452
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Вбудування сімейства логічних мов із можливостями перепрограмування монадичної уніфікації в SCALA
за авторством: Шевченко, Р.С.
Опубліковано: (2025-01-20)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Ye., та інші
Опубліковано: (2020)

Інтенсіонально-орієнтований підхід до побудови логічних систем
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2007)

Еволюція та "природний відбір" базових концепцій мов програмування: на прикладах мов C, C++, Java та C#
за авторством: Колодницький, М.М.
Опубліковано: (2004)

Vector Data Structure Research in Scala Programming Language
за авторством: A. N. Primushko
Опубліковано: (2019)

Диференціальна імуногістохімічна діагностика злоякісних пухлин сімейства Юїнга
за авторством: Галахін, К.О., та інші
Опубліковано: (2001)

Актова книга Луцького гродського уряду 1561 року
за авторством: Мойсієнко, В.
Опубліковано: (2002)

Пра мову "пінскай шляхты"
за авторством: Клімчук, Ф.
Опубліковано: (2010)

Функціональні параметри танечних пісень
за авторством: Остапюк, О.О.
Опубліковано: (2011)

Лінгвогеографічний пошук місця навчання Климентія Зіновієва
за авторством: Кулієвич, М.
Опубліковано: (2010)

Українська та білоруська літературні мови XX ст. крізь призму Полісся
за авторством: Скопненко, О.
Опубліковано: (2010)

Абсолютивне вживання перехідних дієслів (на матеріалі українських пам’яток XVІ – І пол. XVII ст.)
за авторством: Заневич, О.
Опубліковано: (2010)

Топографічні можливості тексту-письма (на матеріалі французького роману епохи Просвітництва та романтизму)
за авторством: Павленко, Ю.Ю.
Опубліковано: (2011)

Спостереження над мовою судової справи 1635 року
за авторством: Мойсієнко, В.
Опубліковано: (2001)

Чому Witebsk, а не *Wiciebsk, або чому називають поляки білоруські міста по-українськи?
за авторством: Золтан, А.
Опубліковано: (2010)

Система словозміни іменників жіночого роду у волинських грамотах ХVI ст.
за авторством: Примушко, Н.
Опубліковано: (2001)

Числівникові форми в "Актовій книзі Житомирського гродського уряду 1611 року"
за авторством: Крижанівська, О.
Опубліковано: (2010)

Мовна компетенція білінгвів
за авторством: Шевчук, О.В.
Опубліковано: (2011)

Форми минулого часу в пам’ятках Середньої Наддніпрянщини
за авторством: Примушко, Н.
Опубліковано: (2010)

Господарювання українців у XVI - XVIII ст. крізь призму слова
за авторством: Осташ, Н.
Опубліковано: (2009)

Галицко-Волынские и Псковско-Новгородские диалектизмы в рукописных источниках XIII в.
за авторством: Жолобов, О.
Опубліковано: (2010)

Дані до гунгаризмів у староукраїнських пам’ятках XIV–XVII століття
за авторством: Барань, Є.
Опубліковано: (2010)

Про лексику польських текстів Овруцької актової книги 1678 р.
за авторством: Макарова, О.
Опубліковано: (2010)

Назви на позначення поняття "група зірок" у писемних пам’ятках з Полісся в контексті староукраїнської мови
за авторством: Тріль, О.
Опубліковано: (2010)

Займенник весь (увесь): семантика, граматика, особливості функціонування
за авторством: Руденко, О.Е.
Опубліковано: (2011)

Поліські живомовні елементи в середньошрифтовому Євангелії
за авторством: Багнюк, Н.
Опубліковано: (2010)

Вербалізація концепту joy у творах Джона Ґолсуорсі
за авторством: Шиманович, І.В.
Опубліковано: (2011)

Помешкання українців кінця ХVІ – початку ХVІІ ст. (на матеріалі Житомирських актових книг)
за авторством: Царалунга, І.
Опубліковано: (2010)

Роль І.С. Нечуя-Левицького у становленні синтаксичних норм української мови
за авторством: Пашковська, Г.В.
Опубліковано: (2011)

Привілет Київському магістрату
за авторством: Титаренко, В.
Опубліковано: (2002)

Назви нічного світила в пам'ятках української мови
за авторством: Тріль, О.
Опубліковано: (2009)

Українські особові імена середини XVII ст. як об'єкт лексикографії
за авторством: Осташ, Р.
Опубліковано: (2009)

Прислівники в тексті середньошрифтового Четвероєвангелія
за авторством: Багнюк, Н.
Опубліковано: (2009)

Географічні загальні назви в діловій писемній мові Брацлавського воєводства другої половини XVI – початку XVII ст.
за авторством: Слободзяник, О.
Опубліковано: (2010)

Злопобажання як ціннісний компонент етномовної свідомості
за авторством: Дем’янова, Ю.О.
Опубліковано: (2011)

Сполучникова варіативність в українській мові XVI – XVII століть
за авторством: Дидик-Меуш, Г.
Опубліковано: (2010)

Актові книги Овруцького гродського уряду др. пол. XVII ст. - важливе джерело для вивчення українсько-польських мовних контактів
за авторством: Макарова, О.
Опубліковано: (2009)

Актова книга Крем'янецького земського уряду 1568 року
за авторством: Литвинчук, Л.
Опубліковано: (2002)

Варіативність у староукраїнській літературно-писемній мові (на прикладі текстів північноукраїнського ареалу XVI ст.)
за авторством: Мойсієнко, В.
Опубліковано: (2010)

Північноукраїнські діалектні риси в Крехівському Апостолі
за авторством: Осінчук, Ю.
Опубліковано: (2010)