- -

Termination of Narrowing with Dependency Pairs

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Thumbnail
Nombre: thesis.pdf
Tamaño: 438.4Kb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Termination of Narrowing with Dependency Pairs
Autor: Iborra López, José
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 acto/lectura:
2008-12
 Fecha difusión:
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
Editorial:
Universitat Politècnica de València
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

recommendations

 

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

Mostrar el registro completo del ítem