- -

Improving Context-Sensitive Dependency Pairs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Improving Context-Sensitive Dependency Pairs

Show full item record

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

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

Files in this item

Thumbnail
Name: AlarconEmmesFuhs - ...
Size: 338.5Kb
Format: PDF
Description: Versión del Autor.
Open/Preview
[Cerrado]
Name: LPAR08-Springer.pdf
Size: 728.5Kb
Format: PDF
Description: Versión editorial
Request a copy of the document

Item Metadata

Title: Improving Context-Sensitive Dependency Pairs
Author: Alarcón, Beatriz Emmes, Fabian Fuhs, Carsten Giesl, Jürgen Gutiérrez Gil, Raúl Lucas Alba, Salvador Schneider-Kamp, Peter Thiemann, René
UPV Unit: 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
Issued date:
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 ...[+]
Subjects: Automated termination proofs , Proving termination , Rewrite systems , Transformation , Framework
Copyrigths: Reserva de todos los derechos
Source:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-540-89439-1_44
Publisher:
Springer-Verlag
Publisher version: https://doi.org/10.1007/978-3-540-89439-1_44
Project ID:
info:eu-repo/grantAgreement/DFG//GI 274%2F5-2/
...[+]
info:eu-repo/grantAgreement/DFG//GI 274%2F5-2/
info:eu-repo/grantAgreement/MEC//HA 2006-0007/
info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/
info:eu-repo/grantAgreement/MEC//TIN2004-7943-C04-02/
info:eu-repo/grantAgreement/MCIU//AP2005-3399//Ayudas para la formación de Profesorado Universitario (FPU)/
info:eu-repo/grantAgreement/DAAD//D%2F06%2F12785/
[-]
Thanks:
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 ...[+]
Type: Artículo

recommendations

 

This item appears in the following Collection(s)

Show full item record