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

Embedding a family of logic languages with custom monadic unification in Scala

The paper proposes a framework for embedding logic programming and constraint programming methods in Scala by building a logical object-oriented language around the unification of typed logic based on monads. Two types of API are considered — high-level for language embeddings and low-level for orga...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2024
Автори:	Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2024
Теми:	declarative programming embedding logical programming monad object-oriented language term unification Scala UDC 004.424
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/601
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Weak Frobenius monads and Frobenius bimodules
за авторством: Wisbauer, Robert
Опубліковано: (2016)

Regular pairings of functors and weak (co)monads
за авторством: Wisbauer, Robert
Опубліковано: (2018)

Toolkit for simulation of heterogeneous GPU-based environments
за авторством: Okonsky, I.V., та інші
Опубліковано: (2025)

On performance of the In-Memory Data Grids
за авторством: Rukhlis, K.A., та інші
Опубліковано: (2017)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
за авторством: Palagin, O.V., та інші
Опубліковано: (2020)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

On Kaluzhnin-Krasner’s embedding of groups
за авторством: Olshanskii, A. Yu.
Опубліковано: (2018)

Length functions for semigroup embeddings
за авторством: Davis, Tara Colleen
Опубліковано: (2018)

Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Algorithm for automatic loop parallelization for graphics processing units
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

To the issue of optimizing cloud computing based on their cost
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2021)

Information technology of IT-infrastructure management architecture elements
за авторством: Dovgiy, Stanislav O., та інші
Опубліковано: (2022)

Parallel distributed system for social networks streaming data analysis
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

The description of lists and sets of meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2020)

The influence of weakly \(s\)-permutably embedded subgroups on the \(p\)-nilpotency of finite groups
за авторством: Li, Changwen
Опубліковано: (2018)

Semantic properties of five-valued logics
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

Synthesis of information and telecommunication networks of automatized environmental security systems with the purpose of gaining maximum noise resistance with a given efficiency
за авторством: Dovgiy, Stanislav O., та інші
Опубліковано: (2021)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Interface-oriented approach to modelling tools for multi-agent systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

3D SIMULATION OF HYDROMECHANICAL CHARACTERISTICS OF SMALL HYDROPOWER PLANTS
за авторством: Moroz, A.
Опубліковано: (2020)

Starunya: from geological monument to nature UNESCO geopark
за авторством: Adamenko, Oleh M., та інші
Опубліковано: (2021)