Infinitary Rewriting: From Syntax to Semantics

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, rewriti...

Full description

Saved in:
Bibliographic Details
Published inProcesses, Terms and Cycles: Steps on the Road to Infinity pp. 148 - 172
Main Authors Kennaway, Richard, Severi, Paula, Sleep, Ronan, de Vries, Fer-Jan
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text
ISBN354030911X
9783540309116
ISSN0302-9743
1611-3349
DOI10.1007/11601548_11

Cover

More Information
Summary: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].
Bibliography:Dedicated in friendship to Jan Willem Klop on the occasion of his 60th birthday.
ISBN:354030911X
9783540309116
ISSN:0302-9743
1611-3349
DOI:10.1007/11601548_11