- -

Proving Termination of Context-Sensitive Rewriting with MU-TERM

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Proving Termination of Context-Sensitive Rewriting with MU-TERM

Mostrar el registro completo del ítem

Alarcón, B.; Gutiérrez Gil, R.; Iborra, J.; Lucas Alba, S. (2007). Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electronic Notes in Theoretical Computer Science. 188:105-115. https://doi.org/10.1016/j.entcs.2007.05.041

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

Ficheros en el ítem

Thumbnail
Nombre: AlarconGutierrezIborra ...
Tamaño: 597.0Kb
Formato: PDF
Descripción: Versión editorial
Abrir/Preview

Metadatos del ítem

Título: Proving Termination of Context-Sensitive Rewriting with MU-TERM
Autor: Alarcón, Beatriz Gutiérrez Gil, Raúl Iborra, José Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:
Resumen:
[EN] Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem with several applications in the fields ...[+]
Palabras clave: Context-sensitive rewriting , Term rewriting , Program analysis , Termination
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Fuente:
Electronic Notes in Theoretical Computer Science. (issn: 1571-0661 )
DOI: 10.1016/j.entcs.2007.05.041
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.entcs.2007.05.041
Código del Proyecto:
info:eu-repo/grantAgreement/EC//ALA%2F95%2F23%2F2003%2F077-054//Network for developing collaborations and exchanges between EU-Indian Universities, R&D Research Centres and SMEs/
info:eu-repo/grantAgreement/GVA//GV 06%2F285//Formal techniques for Applied Software Technology/
info:eu-repo/grantAgreement/MEC//TIN2004-7943-C04-02/
info:eu-repo/grantAgreement/MEC//HA 2006-0007/
info:eu-repo/grantAgreement/MCIU//AP2005-3399//Ayudas para la formación de Profesorado Universitario (FPU)/
Agradecimientos:
This work has been partially supported by the EU (FEDER) and the Spanish MEC, under grants TIN2004-7943-C04-02 and HA 2006-0007, the Generalitat Valenciana under grant GV06/285, and the ICT for EU-India Cross-Cultural ...[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem