- -

Termination of Narrowing with Dependency Pairs

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

Compartir/Enviar a

Citas

Estadísticas

Termination of Narrowing with Dependency Pairs

Mostrar el registro completo del ítem

Iborra López, J. (2008). Termination of Narrowing with Dependency Pairs. http://hdl.handle.net/10251/13622.

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

Ficheros en el ítem

Metadatos del ítem

Título: Termination of Narrowing with Dependency Pairs
Autor:
Director(es): Alpuente Frasnedo, María Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha difusión:
Fecha acto/lectura: 2008-12
Resumen:
In this work, we generalize the Dependency Pairs approach for automated proofs of termination to prove the termination of narrowing.We identify the phenomenon of echoing in infinite narrowing derivations and demonstrate ...[+]
Palabras clave: Termination , Dependency pairs , Narrowing
Derechos de uso: Reserva de todos los derechos
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Tipo: Tesis de máster

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

Mostrar el registro completo del ítem