Program debugging and validation using semantic approximations and partial specifications

Hermenegildo, Manuel V.; Puebla Sánchez, Alvaro Germán; Bueno Carrillo, Francisco y 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:
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • López García, Pedro
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:
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

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (263kB) | Vista Previa

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: http://oa.upm.es/14251/
Identificador OAI: oai:oa.upm.es:14251
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-45465-9_7
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Feb 2013 07:25
Ultima Modificación: 21 Abr 2016 13:49
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM