Residuals in Higher-Order Rewriting

Reference

H.J. Sander Bruggink. Residuals in higher-order rewriting. In Proceedings of RTA '03. Springer, 2003.

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.

Suggested BibTeX entry:

@inproceedings{bruggink:residuals2003,
    author = {H.J. Sander Bruggink},
    booktitle = {Proceedings of RTA '03},
    publisher = {Springer},
    title = {Residuals in Higher-Order Rewriting},
    year = {2003}
}



GZipped PostScript (83 kB)PDF (247 kB)Tech report version
© University of Duisburg-Essen, Theoretical Computer Science group