- -

Innermost Termination of Context-Sensitive Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Innermost Termination of Context-Sensitive Rewriting

Show full item record

Alarcón Jiménez, B.; Lucas, S. (2011). Innermost Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/10796

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/10796

Files in this item

Item Metadata

Title: Innermost Termination of Context-Sensitive Rewriting
Author: Alarcón Jiménez, Beatriz Lucas, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude, OBJ, etc, which incorporate an innermost strategy which is used to ...[+]
Subjects: Context-sensitive rewriting , Dependency pairs , Term rewriting , Program termination
Copyrigths: Reserva de todos los derechos
Universitat Politècnica de València
Series: ELP-TR;AL2011
Type: Informe

This item appears in the following Collection(s)

Show full item record