Buchumschlag

Context term calculus for rewriting systems

In this paper, a calculus of context-full terms is proposed. Calculus extends the traditional algebraic signatures, used in term rewriting systems, by so-called constructions, that works with context: context constructor, resolving a context value and binding term to context with compatibility check...

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Problems in programming

Ähnliche Einträge

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

Automated development of a parallel distributed system for streaming data processing
von: Titov, D.S., et al.
Veröffentlicht: (2018)

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

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

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

Software solution for electrocardiogram storage and analysis
von: Yefremov, M.S., et al.
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)

To the issue of optimizing cloud computing based on their cost
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2021)

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

A tool to measure Fortran source code metrics using syntax analysis
von: Pokrovskyi, A.M.
Veröffentlicht: (2021)

Architectural framework for a United Blockchain Interaction Library
von: Dobrianskyi, B.I., et al.
Veröffentlicht: (2024)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

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

Hybrid autotuning model with statistic modelling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
von: Morentsov, Y.I.
Veröffentlicht: (2018)

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

Description model of programming style ecosystem
von: Sydorov, N.A., et al.
Veröffentlicht: (2020)

Designing RESTful API for the e-procurement system in private sector
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2021)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

An approach of intelligent searching of information in texts
von: Chebanuyk, O.V.
Veröffentlicht: (2023)

Application of machine learning models to predict energy consumption in smart home systems
von: Haidukevych, V.O., et al.
Veröffentlicht: (2025)

Predicting the Probability of Exceeding Critical System Thresholds
von: Krammer, P., et al.
Veröffentlicht: (2018)

Creating a digital twin in meteorological forecasting for a smart city on a mobile platform
von: Haidukevych, V.O., et al.
Veröffentlicht: (2023)

50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)