- -

Innermost Termination of Context-Sensitive Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Innermost Termination of Context-Sensitive Rewriting

Show full item record

Alarcón Jiménez, B. (2008). Innermost Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/13630.

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

Files in this item

Item Metadata

Title: Innermost Termination of Context-Sensitive Rewriting
Author:
Director(s): Lucas Alba, Salvador
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2008-12
Issued date:
Abstract:
Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up ...[+]
Subjects: Termination , Innermost context-sensitive rewriting , Dependency pairs
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