- -

Innermost Termination of Context-Sensitive Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

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

Thumbnail
Name: tesisMaster_Beatr ...
Size: 510.8Kb
Format: PDF
Open/Preview

Item Metadata

Title: Innermost Termination of Context-Sensitive Rewriting
Author: Alarcón Jiménez, Beatriz
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
Publisher:
Universitat Politècnica de València
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

recommendations

 

This item appears in the following Collection(s)

Show full item record