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...
Saved in:
Published in | Processes, Terms and Cycles: Steps on the Road to Infinity pp. 148 - 172 |
---|---|
Main Authors | , , , |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
ISBN | 354030911X 9783540309116 |
ISSN | 0302-9743 1611-3349 |
DOI | 10.1007/11601548_11 |
Cover
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 |