Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2018
Main Author:	Shevchenko, R.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	software development automation term rewriting type systems programming languages code analysis termware UDC 004.4'24
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/259
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

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

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

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

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)

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

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

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

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

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

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)

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

Automated development of a parallel distributed system for streaming data processing
by: Titov, D.S., et al.
Published: (2018)

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

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

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

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

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

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

A tool to measure Fortran source code metrics using syntax analysis
by: Pokrovskyi, A.M.
Published: (2021)

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

Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)

On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025)

To the issue of optimizing cloud computing based on their cost
by: Doroshenko, А.Yu., et al.
Published: (2021)

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

Designing RESTful API for the e-procurement system in private sector
by: Doroshenko, А.Yu., et al.
Published: (2021)

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

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

Hybrid autotuning model with statistic modelling
by: Doroshenko, А.Yu., et al.
Published: (2018)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)

An approach of intelligent searching of information in texts
by: Chebanuyk, O.V.
Published: (2023)

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

Predicting the Probability of Exceeding Critical System Thresholds
by: Krammer, P., et al.
Published: (2018)

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