- -

Improving Context-Sensitive Dependency Pairs

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Improving Context-Sensitive Dependency Pairs

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: AlarconEmmesFuhs - ...
Tamaño: 338.5Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: LPAR08-Springer.pdf
Tamaño: 728.5Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Alarcón, Beatriz es_ES
dc.contributor.author Emmes, Fabian es_ES
dc.contributor.author Fuhs, Carsten es_ES
dc.contributor.author Giesl, Jürgen es_ES
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.contributor.author Lucas Alba, Salvador es_ES
dc.contributor.author Schneider-Kamp, Peter es_ES
dc.contributor.author Thiemann, René es_ES
dc.date.accessioned 2024-01-31T19:02:41Z
dc.date.available 2024-01-31T19:02:41Z
dc.date.issued 2008 es_ES
dc.identifier.issn 0302-9743 es_ES
dc.identifier.uri http://hdl.handle.net/10251/202272
dc.description.abstract [EN] Context-sensitive dependence pairs (CS-DPs) are currently the most powerful method for automated termination analysis of context-sensitive rewriting. However, compared to DPs for ordinary rewriting, CS-DPs suffer from two main drawbacks: (a) CS-DPs can be collapsing. This complicates the handling of CS-DPs and makes them less powerful in practice. (b) There does not exist a "DP framework" for CS-DPs which would allow one to apply them in a flexible and modular way. This paper solves drawback (a) by introducing a new definition of CS-DPs. With our definition, CS-DPs are always non-collapsing and thus, they can be handled like ordinary DPs. This allows us to solve drawback (b) as well, i.e., we extend the existing DP framework for ordinary DPs to context sensitive rewriting. We implemented our results in the tool AProVE and successfully evaluated them on a large collection of examples. es_ES
dc.description.sponsorship Authors from Valencia were partially supported by the EU (FEDER) and the Spanish MEC/MICINN, under grants TIN 2007-68093-C02-02 and HA 2006-0007. B. Alarcón was partially supported by the Spanish MEC/MICINN under FPU grant AP2005-3399. R. Gutiérrez was partially supported by the Spanish MEC/MICINN, under grant TIN 2004-7943-C04-02. Authors from Aachen were supported by the DAAD under grant D/06/12785 and by the DFG under grant GI 274/5-2. es_ES
dc.language Inglés es_ES
dc.publisher Springer-Verlag es_ES
dc.relation.ispartof Lecture Notes in Computer Science es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Automated termination proofs es_ES
dc.subject Proving termination es_ES
dc.subject Rewrite systems es_ES
dc.subject Transformation es_ES
dc.subject Framework es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Improving Context-Sensitive Dependency Pairs es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1007/978-3-540-89439-1_44 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/DFG//GI 274%2F5-2/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//HA 2006-0007/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//TIN2004-7943-C04-02/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MCIU//AP2005-3399//Ayudas para la formación de Profesorado Universitario (FPU)/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/DAAD//D%2F06%2F12785/ 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.; Emmes, F.; Fuhs, C.; Giesl, J.; Gutiérrez Gil, R.; Lucas Alba, S.; Schneider-Kamp, P.... (2008). Improving Context-Sensitive Dependency Pairs. Lecture Notes in Computer Science. 5330:636-651. https://doi.org/10.1007/978-3-540-89439-1_44 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1007/978-3-540-89439-1_44 es_ES
dc.description.upvformatpinicio 636 es_ES
dc.description.upvformatpfin 651 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 5330 es_ES
dc.relation.pasarela S\34408 es_ES
dc.contributor.funder Deutsche Forschungsgemeinschaft 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 Deutscher Akademischer Austauschdienst 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