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)


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
DOI: 10.1007/11601548_11

Actions (login required)

View Item View Item