- -

Innermost Termination of Context-Sensitive Rewriting

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Innermost Termination of Context-Sensitive Rewriting

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Innermost Termination of Context-Sensitive Rewriting
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Context-sensitive rewriting , Dependency pairs , Term rewriting , Program termination
Derechos de uso: Reserva de todos los derechos
Serie: ELP-TR;AL2011
Tipo: Informe

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem