Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2019
Hauptverfasser:	Shevchenko, R.S., Doroshenko, A.Yu.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2019
Schlagworte:	automated software design programming languages term rewriting type systems code analysis TermWare UDC 004.4'24
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/349
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

TermWare-3 – term rewriting system, based on context-term calculus
von: R. S. Shevchenko, et al.
Veröffentlicht: (2019)

Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Context term calculus for rewriting systems
von: P. C. Shevchenko
Veröffentlicht: (2018)

Determining the weights of links in networks of terms
von: Lande, D. V., et al.
Veröffentlicht: (2019)

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
von: Lande, D. V., et al.
Veröffentlicht: (2014)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)

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

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

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

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

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

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

Long-term data storage media
von: Petrov, V. V., et al.
Veröffentlicht: (2018)

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

High-tempe-rature reflective coatings for long-term storage media
von: Petrov, V. V., et al.
Veröffentlicht: (2019)

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

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

Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

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

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

Automated design of OpenCL programs based on algebra-algorithmic approach
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Technologies for manufacturing optical media for long-term data storage
von: Petrov, V. V., et al.
Veröffentlicht: (2017)

Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

On the Cartesian product of the Menger algebras of terms and relational formulas
von: Kumduang, Thodsaporn
Veröffentlicht: (2025)

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

Design of a terrain surface visualization program using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

A method of tuning programs on .Net platform with rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2019)

Problems of long-term data storage
von: Manko, D. Yu., et al.
Veröffentlicht: (2017)

Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)

Parallel software auto-tuning using statistical modeling and machine learning
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Software solution for electrocardiogram storage and analysis
von: Yefremov, M.S., et al.
Veröffentlicht: (2025)

About the method of projecting abstract data type at the algebra of algorithmic
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)