- -

Termination of Narrowing with Dependency Pairs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Termination of Narrowing with Dependency Pairs

Show full item record

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

Files in this item

Item Metadata

Title: Termination of Narrowing with Dependency Pairs
Author:
Director(s): Alpuente Frasnedo, María Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2008-12
Issued date:
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 ...[+]
Subjects: Termination , Dependency pairs , Narrowing
Copyrigths: Reserva de todos los derechos
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record