Infinitary Rewriting: From Syntax to Semantics

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

doi:10.1007/11601548_11

Infinitary Rewriting: From Syntax to Semantics

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

School of Computing Sciences

Research output: Chapter in Book/Report/Conference proceeding › Chapter

6 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Processes, Terms and Cycles: Steps on the Road to Infinity
Subtitle of host publication	Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Editors	Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer
Publisher	Springer Berlin / Heidelberg
Pages	148-172
Number of pages	25
Volume	3838
DOIs	https://doi.org/10.1007/11601548_11
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg

Access to Document

10.1007/11601548_11

Cite this

Kennaway, R., Severi, P., Sleep, R., & de Vries, F.-J. (2005). Infinitary Rewriting: From Syntax to Semantics. In A. Middeldorp, V. van Oostrom, F. van Raamsdonk, & R. de Vrijer (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity: Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Vol. 3838, pp. 148-172). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg. https://doi.org/10.1007/11601548_11

Kennaway, Richard ; Severi, Paula ; Sleep, Ronan et al. / Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles: Steps on the Road to Infinity: Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. editor / Aart Middeldorp ; Vincent van Oostrom ; Femke van Raamsdonk ; Roel de Vrijer. Vol. 3838 Springer Berlin / Heidelberg, 2005. pp. 148-172 (Lecture Notes in Computer Science).

@inbook{7a6d923e284b4ce895ac6277c7635ffa,

title = "Infinitary Rewriting: From Syntax to Semantics",

abstract = "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].",

author = "Richard Kennaway and Paula Severi and Ronan Sleep and {de Vries}, Fer-Jan",

year = "2005",

doi = "10.1007/11601548_11",

language = "English",

volume = "3838",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin / Heidelberg",

pages = "148--172",

editor = "Aart Middeldorp and {van Oostrom}, Vincent and {van Raamsdonk}, Femke and {de Vrijer}, Roel",

booktitle = "Processes, Terms and Cycles: Steps on the Road to Infinity",

}

Kennaway, R, Severi, P, Sleep, R & de Vries, F-J 2005, Infinitary Rewriting: From Syntax to Semantics. in A Middeldorp, V van Oostrom, F van Raamsdonk & R de Vrijer (eds), Processes, Terms and Cycles: Steps on the Road to Infinity: Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. vol. 3838, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, pp. 148-172. https://doi.org/10.1007/11601548_11

Infinitary Rewriting: From Syntax to Semantics. / Kennaway, Richard; Severi, Paula; Sleep, Ronan et al.
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. ed. / Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer. Vol. 3838 Springer Berlin / Heidelberg, 2005. p. 148-172 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Infinitary Rewriting: From Syntax to Semantics

AU - Kennaway, Richard

AU - Severi, Paula

AU - Sleep, Ronan

AU - de Vries, Fer-Jan

PY - 2005

Y1 - 2005

N2 - 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].

AB - 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].

U2 - 10.1007/11601548_11

DO - 10.1007/11601548_11

M3 - Chapter

VL - 3838

T3 - Lecture Notes in Computer Science

SP - 148

EP - 172

BT - Processes, Terms and Cycles: Steps on the Road to Infinity

A2 - Middeldorp, Aart

A2 - van Oostrom, Vincent

A2 - van Raamsdonk, Femke

A2 - de Vrijer, Roel

PB - Springer Berlin / Heidelberg

ER -

Kennaway R, Severi P, Sleep R, de Vries FJ. Infinitary Rewriting: From Syntax to Semantics. In Middeldorp A, van Oostrom V, van Raamsdonk F, de Vrijer R, editors, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Vol. 3838. Springer Berlin / Heidelberg. 2005. p. 148-172. (Lecture Notes in Computer Science). doi: 10.1007/11601548_11