Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	Shevchenko, R.S.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	software development automation term rewriting type systems programming languages code analysis termware UDC 004.4'24
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/259
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Parallel software auto-tuning using statistical modeling and machine learning
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

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

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Software solution for electrocardiogram storage and analysis
за авторством: Yefremov, M.S., та інші
Опубліковано: (2025)

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

Context term calculus for rewriting systems
за авторством: P. C. Shevchenko
Опубліковано: (2018)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

A tool to measure Fortran source code metrics using syntax analysis
за авторством: Pokrovskyi, A.M.
Опубліковано: (2021)

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Toolkit for simulation of heterogeneous GPU-based environments
за авторством: Okonsky, I.V., та інші
Опубліковано: (2025)

On performance of the In-Memory Data Grids
за авторством: Rukhlis, K.A., та інші
Опубліковано: (2017)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

To the issue of optimizing cloud computing based on their cost
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2021)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Designing RESTful API for the e-procurement system in private sector
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2021)

TermWare-3 – term rewriting system, based on context-term calculus
за авторством: R. S. Shevchenko, та інші
Опубліковано: (2019)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)

Application of machine learning models to predict energy consumption in smart home systems
за авторством: Haidukevych, V.O., та інші
Опубліковано: (2025)

Predicting the Probability of Exceeding Critical System Thresholds
за авторством: Krammer, P., та інші
Опубліковано: (2018)

Algorithm for automatic loop parallelization for graphics processing units
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)