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

TermWare3 – term rewriting system, based on context-term calculus

In this paper, the design of the TermWare-3 rewriting system which is built on the ground of reflective calculus of context term is considered. In the calculus of the context term, term structure contains not only tree, but a reference to an internal context and matching constrains (external context...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2019
Автори:	Shevchenko, R.S., Doroshenko, A.Yu.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2019
Теми:	automated software design programming languages term rewriting type systems code analysis TermWare UDC 004.4'24
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/349
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

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

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

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

Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

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

Determining the weights of links in networks of terms
за авторством: Lande, D. V., та інші
Опубліковано: (2019)

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
за авторством: Lande, D. V., та інші
Опубліковано: (2014)

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

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

TermWare-3 – система переписування термів, заснована на контекстному численні
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2019)

Building Directed Weighted Networks of Terms with Applying Part-of-speech Tagging
за авторством: Дмитренко, О. О.
Опубліковано: (2020)

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

Improving the Model of Long-term Technological Update of Power System Components
за авторством: Denysov, Viktor, та інші
Опубліковано: (2023)

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING
за авторством: Matushkin, D., та інші
Опубліковано: (2023)

Method and results of long-term forecast of wind power potential of territories of Crimea
за авторством: Ramazanova Z.U., та інші
Опубліковано: (2005)

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

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

Forecasting the electric loading diagrams of an electric power pool for long-term prospect
за авторством: Kulyk М.M., та інші
Опубліковано: (2004)

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

Long-term data storage media
за авторством: Petrov, V. V., та інші
Опубліковано: (2018)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

High-tempe-rature reflective coatings for long-term storage media
за авторством: Petrov, V. V., та інші
Опубліковано: (2019)

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

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)

An approach to evaluation of survivability of scientific publications in the long-term storage in the Internet environment
за авторством: Lande, D. V., та інші
Опубліковано: (2013)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Technologies for manufacturing optical media for long-term data storage
за авторством: Petrov, V. V., та інші
Опубліковано: (2017)

On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Accounting for use of energy storage systems in the model of the long-term power system development forecasting
за авторством: Nechaieva T.P.
Опубліковано: (2021)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Problems of long-term data storage
за авторством: Manko, D. Yu., та інші
Опубліковано: (2017)

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

Improving the accuracy of modeling the trend and seasonal components in the medium-term forecasting of the consumed electric power from the integrated power system
за авторством: Martyniuk A., та інші
Опубліковано: (2012)

Parallel software auto-tuning using statistical modeling and machine learning
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)