- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: AlarconGutierrezIborra ...
Tamaño: 597.0Kb
Formato: PDF
Descripción: Versión editorial
Abrir
dc.contributor.author Alarcón, Beatriz es_ES
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.contributor.author Iborra, José es_ES
dc.contributor.author Lucas Alba, Salvador es_ES
dc.date.accessioned 2024-01-31T19:03:12Z
dc.date.available 2024-01-31T19:03:12Z
dc.date.issued 2007-07-16 es_ES
dc.identifier.issn 1571-0661 es_ES
dc.identifier.uri http://hdl.handle.net/10251/202281
dc.description.abstract [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 of term rewriting and programming languages. Several methods have been developed for proving termination of CSR. The new version of MU-TERM which we present here implements all currently known techniques. Furthermore, we show how to combine them to furnish MU-TERM with an expert which is able to automatically perform the termination proofs. Finally, we provide a first experimental evaluation of the tool. es_ES
dc.description.sponsorship 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 Dissemination ALA/95/23/2003/077-054 project. Beatriz Alarc¿on was partially supported by the Spanish MEC under FPU grant AP2005-3399. es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Electronic Notes in Theoretical Computer Science es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Context-sensitive rewriting es_ES
dc.subject Term rewriting es_ES
dc.subject Program analysis es_ES
dc.subject Termination es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Proving Termination of Context-Sensitive Rewriting with MU-TERM es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.entcs.2007.05.041 es_ES
dc.relation.projectID 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/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//GV 06%2F285//Formal techniques for Applied Software Technology/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//TIN2004-7943-C04-02/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//HA 2006-0007/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MCIU//AP2005-3399//Ayudas para la formación de Profesorado Universitario (FPU)/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1016/j.entcs.2007.05.041 es_ES
dc.description.upvformatpinicio 105 es_ES
dc.description.upvformatpfin 115 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 188 es_ES
dc.relation.pasarela S\33007 es_ES
dc.contributor.funder European Commission es_ES
dc.contributor.funder Generalitat Valenciana es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Ministerio de Educación y Ciencia es_ES
dc.contributor.funder Ministerio de Educación y Cultura, Uruguay es_ES
dc.contributor.funder Ministerio de Ciencia, Innovación y Universidades es_ES


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

Mostrar el registro sencillo del ítem