- -

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

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

Ficheros en el ítem

Thumbnail
Nombre: AlarconEmmesFuhs - ...
Tamaño: 338.5Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: LPAR08-Springer.pdf
Tamaño: 728.5Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Improving Context-Sensitive Dependency Pairs
Autor: Alarcón, Beatriz Emmes, Fabian Fuhs, Carsten Giesl, Jürgen Gutiérrez Gil, Raúl Lucas Alba, Salvador Schneider-Kamp, Peter Thiemann, René
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 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 ...[+]
Palabras clave: Automated termination proofs , Proving termination , Rewrite systems , Transformation , Framework
Derechos de uso: Reserva de todos los derechos
Fuente:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-540-89439-1_44
Editorial:
Springer-Verlag
Versión del editor: https://doi.org/10.1007/978-3-540-89439-1_44
Código del Proyecto:
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/
[-]
Agradecimientos:
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 ...[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem