Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (263kB) | Vista Previa |
Program debugging and validation using semantic approximations and partial specifications
Cita
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X, Puebla Sánchez, Alvaro Germán, Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537 and López García, Pedro
(2002).
Program debugging and validation using semantic approximations and partial specifications.
En: "29th International Colloquium, ICALP 2002", July 8-13, 2002, Malaga, Spain. ISBN 9783540454656.
ORCID: https://orcid.org/0000-0002-7583-323X, Puebla Sánchez, Alvaro Germán, Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537 and López García, Pedro
(2002).
Program debugging and validation using semantic approximations and partial specifications.
En: "29th International Colloquium, ICALP 2002", July 8-13, 2002, Malaga, Spain. ISBN 9783540454656.
Descripción
| Título: | Program debugging and validation using semantic approximations and partial specifications |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 29th International Colloquium, ICALP 2002 |
| Fechas del Evento: | July 8-13, 2002 |
| Lugar del Evento: | Malaga, Spain |
| Título del Libro: | Automata, Languages and Programming |
| Fecha: | Julio 2002 |
| ISBN: | 9783540454656 |
| Volumen: | 2380 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Global analysis, Debugging, Verification, Parallelization, Optimization, Abstract interpretation, Análisis global, Depuración, Verificación, Paralelización, Optimización, Interpretación de resúmenes. |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
The technique of Abstract Interpretation [11] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program validation and debugging [3,9,7].
Más información
| ID de Registro: | 14251 |
|---|---|
| Identificador DC: | https://oa.upm.es/14251/ |
| Identificador OAI: | oai:oa.upm.es:14251 |
| URL Oficial: | http://link.springer.com/chapter/10.1007%2F3-540-4... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 23 Feb 2013 07:25 |
| Ultima Modificación: | 21 Abr 2016 13:49 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
