Infinitary Rewriting: From Syntax to Semantics

Kennaway, Richard, Severi, Paula, Sleep, Ronan and de Vries, Fer-Jan (2005) Infinitary Rewriting: From Syntax to Semantics. In: Processes, Terms and Cycles: Steps on the Road to Infinity. Lecture Notes in Computer Science, 3838 . Springer Berlin / Heidelberg, pp. 148-172.

Full text not available from this repository. (Request a copy)

Abstract

Rewriting is the repeated transformation of a structured object according to a set of rules. This simple concept has turned out to have a rich variety of elaborations, giving rise to many different theoretical frameworks for reasoning about computation. Aside from its theoretical importance, rewriting has also been a significant influence on the design and implementation of real programming languages, most notably the functional and logic programming families of languages. For a theoretical perspective on the place of rewriting in Computer Science, see for example [14]. For a programming language perspective, see for example [16].

Item Type:	Book Section
Faculty \ School:	Faculty of Science > School of Computing Sciences
Depositing User:	Vishal Gautam
Date Deposited:	09 Jun 2011 16:55
Last Modified:	01 Mar 2023 16:32
URI:	https://ueaeprints.uea.ac.uk/id/eprint/23338
DOI:	10.1007/11601548_11

Actions (login required)

View Item