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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

About the method of projecting abstract data type at the algebra of algorithmic
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Clones of full terms
за авторством: Denecke, Klaus, та інші
Опубліковано: (2018)

Utilizing remotely sensed data for atmospheric precipitation analysis in Ukraine
за авторством: Аpostolov, Aleksandr, та інші
Опубліковано: (2024)

Factor Analysis Based on Association Rules
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)

Prediction of lifetime of data storage on optical disks
за авторством: Petrov, V. V., та інші
Опубліковано: (2016)

Research of network relaxation time as a charac-teristic of network nodes.
за авторством: Lande, D. V., та інші
Опубліковано: (2019)

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