Cover Image

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...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2019
Issue:	1
Pages:	48-56
ISSN:	1727-4907
Author Affiliations:	R.S. Shevchenko — Institute of Software Systems NAS of Ukraine A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
Main Authors:	Shevchenko, R.S., Doroshenko, A.Yu.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2019
Subjects:	automated software design programming languages term rewriting type systems code analysis TermWare UDC 004.4'24
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/349
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)

TermWare-3 – term rewriting system, based on context-term calculus
by: R. S. Shevchenko, et al.
Published: (2019)

Improving performance of Python code using rewriting rules technique
by: Zhereb, K.A.
Published: (2020)

Context term calculus for rewriting systems
by: P. C. Shevchenko
Published: (2018)

Determining the weights of links in networks of terms
by: Lande, D. V., et al.
Published: (2019)

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

Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
by: Lande, D. V., et al.
Published: (2014)

Building Directed Weighted Networks of Terms with Applying Part-of-speech Tagging
by: Дмитренко, О. О.
Published: (2020)

Improving the Model of Long-term Technological Update of Power System Components
by: Denysov, Viktor, et al.
Published: (2023)

Validation of correctness of autotuning code transformations with rewriting rules technique
by: Ivanenko, P.A.
Published: (2020)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Method and results of long-term forecast of wind power potential of territories of Crimea
by: Ramazanova Z.U., et al.
Published: (2005)

Architecture of the energy consumption management and planning system for long-term contract market participants
by: Голець, В. О., et al.
Published: (2025)

Forecasting the electric loading diagrams of an electric power pool for long-term prospect
by: Kulyk М.M., et al.
Published: (2004)

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING
by: Matushkin, D., et al.
Published: (2023)

Long-term data storage media
by: Petrov, V. V., et al.
Published: (2018)

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

High-tempe-rature reflective coatings for long-term storage media
by: Petrov, V. V., et al.
Published: (2019)

An approach to evaluation of survivability of scientific publications in the long-term storage in the Internet environment
by: Lande, D. V., et al.
Published: (2013)

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials
by: Krak, Yu.V., et al.
Published: (2018)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
by: Palagin, O.V., et al.
Published: (2020)

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
by: Krak, Yu.V., et al.
Published: (2018)

Technologies for manufacturing optical media for long-term data storage
by: Petrov, V. V., et al.
Published: (2017)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
by: Doroshenko, A.Yu., et al.
Published: (2023)

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

On the Cartesian product of the Menger algebras of terms and relational formulas
by: Kumduang, Thodsaporn
Published: (2025)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Accounting for use of energy storage systems in the model of the long-term power system development forecasting
by: Nechaieva T.P.
Published: (2021)

Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)

Problems of long-term data storage
by: Manko, D. Yu., et al.
Published: (2017)

Automated generation of programs for a class of parametric neuroevolution algorithms
by: Doroshenko, A.Yu., et al.
Published: (2023)

Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (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
by: Martyniuk A., et al.
Published: (2012)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)

A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019)

Design of a terrain surface visualization program using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2019)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)