- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: thesis.pdf
Tamaño: 438.4Kb
Formato: PDF
Abrir
dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author Iborra López, José es_ES
dc.date.accessioned 2011-11-28T13:23:36Z
dc.date.available 2011-11-28T13:23:36Z
dc.date.created 2008-12
dc.date.issued 2011-11-28
dc.identifier.uri http://hdl.handle.net/10251/13622
dc.description.abstract 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 that the new narrowing dependency pairs faithfully capture the shape of such derivations and provide a termination criterion. es_ES
dc.format.extent 87 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Termination es_ES
dc.subject Dependency pairs es_ES
dc.subject Narrowing es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title Termination of Narrowing with Dependency Pairs es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Iborra López, J. (2008). Termination of Narrowing with Dependency Pairs. http://hdl.handle.net/10251/13622 es_ES
dc.description.accrualMethod Archivo delegado es_ES


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

Mostrar el registro sencillo del ítem