Mostrar el registro completo del ítem
Gutiérrez Gil, R.; Lucas Alba, S. (2014). Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress). Sistedes. http://hdl.handle.net/10251/71781
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/71781
Título: | Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress) | |
Autor: | ||
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
Modularity is essential in software development, where a piece of software is often designed and implemented as a composition of simpler modules. So, if we want to prove that a program satisfies a given property, a modular ...[+]
|
|
Derechos de uso: | Reconocimiento (by) | |
Editorial: |
|
|
Versión del editor: | http://sistedes2014.uca.es/#actas | |
Título del congreso: |
|
|
Lugar del congreso: |
|
|
Fecha congreso: |
|
|
Código del Proyecto: |
...[+] |
|
Agradecimientos: |
Partially supported by the EU (FEDER), MINECO projects TIN2010-21062-C02-02 and TIN 2013-45732-C4-1-P, and project PROMETEO/2011/052. Salvador Lucas’ research was developed during a sabbatical year at the CS Dept. of the ...[+]
|
|
Tipo: |
|