Infinitary Rewriting: From Syntax to Semantics

Richard Kennaway, Paula Severi, Ronan Sleep, Fer-Jan de Vries

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)


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].
Original languageEnglish
Title of host publicationProcesses, Terms and Cycles: Steps on the Road to Infinity
Subtitle of host publicationEssays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
EditorsAart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer
PublisherSpringer Berlin / Heidelberg
Number of pages25
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg

Cite this