Infinitary Rewriting: From Syntax to Semantics

Kennaway, J. R., Severi, P., Sleep, M. R. and de Vries, F. J. (2005) Infinitary Rewriting: From Syntax to Semantics. In: Processes, Terms and Cycles: Steps on the Road to Infinity. Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. 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
Related URLs:
Depositing User: Vishal Gautam
Date Deposited: 09 Jun 2011 16:55
Last Modified: 18 Sep 2022 23:56
DOI: 10.1007/11601548_11

Actions (login required)

View Item View Item