Innermost Termination of Context-Sensitive Rewriting

Abstract

Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up to now, only few transformation-based techniques have been proposed, thus, establishing the new state-of-the-art in the area.Alarcón Jiménez, B. (2008). Innermost Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/13630Archivo delegad