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
Date:	2019
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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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)

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

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

Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (2019)

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

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

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

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

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

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

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

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

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

Parallel software auto-tuning using statistical modeling and machine learning
by: Doroshenko, А.Yu., et al.
Published: (2018)

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

Algorithm for automatic loop parallelization for graphics processing units
by: Doroshenko, А.Yu., et al.
Published: (2018)

Software solution for electrocardiogram storage and analysis
by: Yefremov, M.S., et al.
Published: (2025)

About the method of projecting abstract data type at the algebra of algorithmic
by: Doroshenko, A.Yu., et al.
Published: (2018)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)