- -

Innermost Termination of Context-Sensitive Rewriting

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Innermost Termination of Context-Sensitive Rewriting

Mostrar el registro completo del ítem

Alarcón Jiménez, B. (2008). Innermost Termination of Context-Sensitive Rewriting. Universitat Politècnica de València. http://hdl.handle.net/10251/13630

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

Ficheros en el ítem

Thumbnail
Nombre: tesisMaster_Beatr ...
Tamaño: 510.8Kb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Innermost Termination of Context-Sensitive Rewriting
Autor: Alarcón Jiménez, Beatriz
Director(es): Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2008-12
 Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Termination , Innermost context-sensitive rewriting , Dependency pairs
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