Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025-01-18
1. Verfasser:	Шевченко, Р.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	2025-01-18
Schlagworte:	Мови програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/201452
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Semantics and pragmatics of programming language ASAMPL
von: Sulema, Ye., et al.
Veröffentlicht: (2020)

Інтенсіонально-орієнтований підхід до побудови логічних систем
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)

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

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

Vector Data Structure Research in Scala Programming Language
von: A. N. Primushko
Veröffentlicht: (2019)

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

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

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

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

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

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

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

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

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

Актова книга Луцького гродського уряду 1561 року
von: Мойсієнко, В.
Veröffentlicht: (2002)

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

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

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

Мовна компетенція білінгвів
von: Шевчук, О.В.
Veröffentlicht: (2011)

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

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

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

Привілет Київському магістрату
von: Титаренко, В.
Veröffentlicht: (2002)

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

Прислівники в тексті середньошрифтового Четвероєвангелія
von: Багнюк, Н.
Veröffentlicht: (2009)

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

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

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

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

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

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

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

Спостереження над мовою судової справи 1635 року
von: Мойсієнко, В.
Veröffentlicht: (2001)

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

Функціональні параметри танечних пісень
von: Остапюк, О.О.
Veröffentlicht: (2011)

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

Актова книга Крем'янецького земського уряду 1568 року
von: Литвинчук, Л.
Veröffentlicht: (2002)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)