Bruggink, Sander:
Residuals in Higher-Order Rewriting
Utrecht: Utrecht University, 2003
(Technical Report ; 221)
2003Buch
Informatik
Titel:
Residuals in Higher-Order Rewriting
Autor*in:
Bruggink, SanderUDE
LSF ID
47885
Sonstiges
der Hochschule zugeordnete*r Autor*in
Erscheinungsort:
Utrecht
Verlag:
Utrecht University
Erscheinungsjahr:
2003
Umfang:
24

Abstract:

Residuals have been studied for various forms of rewriting and residual systems have been defined to capture residuals in an abstract setting. In this paper we study residuals in orthogonal Pattern Rewriting Systems, a form of higher-order rewriting.