Program debugging and validation using semantic approximations and partial specifications

Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and López García, Pedro (2002). Program debugging and validation using semantic approximations and partial specifications. In: "29th International Colloquium, ICALP 2002", July 8-13, 2002, Malaga, Spain. ISBN 9783540454656.

Description

Title: Program debugging and validation using semantic approximations and partial specifications
Author/s:
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • López García, Pedro
Item Type: Presentation at Congress or Conference (Article)
Event Title: 29th International Colloquium, ICALP 2002
Event Dates: July 8-13, 2002
Event Location: Malaga, Spain
Title of Book: Automata, Languages and Programming
Date: July 2002
ISBN: 9783540454656
Volume: 2380
Subjects:
Freetext Keywords: Global analysis, Debugging, Verification, Parallelization, Optimization, Abstract interpretation, Análisis global, Depuración, Verificación, Paralelización, Optimización, Interpretación de resúmenes.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (263kB) | Preview

Abstract

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].

More information

Item ID: 14251
DC Identifier: http://oa.upm.es/14251/
OAI Identifier: oai:oa.upm.es:14251
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-45465-9_7
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Feb 2013 07:25
Last Modified: 21 Apr 2016 13:49
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM