Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Term Rewriting-Based Programming

Term Rewriting-Based Programming
View Sample PDF
Copyright: 2021
Pages: 36
Source title: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Source Author(s)/Editor(s): Anatoliy Doroshenko (Institute of Software Systems, Ukraine) and Olena Yatsenko (Institute of Software Systems, Ukraine)
DOI: 10.4018/978-1-5225-9384-3.ch003


View Term Rewriting-Based Programming on the publisher's website for pricing and purchasing information.


One of the directions of algebraic programming is the use of rewriting rules technique. This direction formalizes the transformational aspects of programming, which allows us to describe transformations of some formal objects and research properties of such transformations. The rewriting rules technique is both a powerful formal tool for transformation of formal systems and a practical tool for programming that allows implementing transformations of complex objects. In this chapter, the main definitions associated with algebraic programming based on rewriting rules are given, term rewriting systems are overviewed, and applications of these systems for processing and transformation of programs are considered.

Related Content

. © 2021. 35 pages.
. © 2021. 30 pages.
. © 2021. 101 pages.
. © 2021. 25 pages.
. © 2021. 36 pages.
. © 2021. 28 pages.
. © 2021. 25 pages.
Body Bottom