- -

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

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

Compartir/Enviar a

Citas

Estadísticas

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Mostrar el registro completo del ítem

Gutiérrez Gil, R.; Lucas Alba, S. (2015). Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/50750.

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

Ficheros en el ítem

Metadatos del ítem

Título: Function Calls at Frozen Positions in 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:
Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions ...[+]
Palabras clave: Rewriting , Context-Sensitive , Termination , Dependency Pairs
Derechos de uso: Reserva de todos los derechos
Tipo: Informe

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

Mostrar el registro completo del ítem