- -

Context-Sensitive Dependency Pairs

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Context-Sensitive Dependency Pairs

Mostrar el registro completo del ítem

Alarcón, B.; Gutiérrez Gil, R.; Lucas Alba, S. (2006). Context-Sensitive Dependency Pairs. Lecture Notes in Computer Science. 4337:297-308. https://doi.org/10.1007/11944836_28

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

Ficheros en el ítem

Thumbnail
Nombre: AlarconGutierrezLucas ...
Tamaño: 540.3Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: fsttcs06csdps.pdf
Tamaño: 514.0Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Context-Sensitive Dependency Pairs
Autor: Alarcón, Beatriz Gutiérrez Gil, Raúl Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi
Fecha difusión:
Resumen:
[EN] Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of context-sensitive rewriting (CSR), the ...[+]
Palabras clave: Dependency pairs , Term rewriting , Program analysis , Termination
Derechos de uso: Reserva de todos los derechos
Fuente:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/11944836_28
Editorial:
Springer-Verlag
Versión del editor: https://doi.org/10.1007/11944836_28
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/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 grant TIN 2004-7943-C04-02, the Generalitat Valenciana under grant GV06/285, and the ICT for EU-India Cross-Cultural Dissemination ...[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem