Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (263kB) | Preview |
Program debugging and validation using semantic approximations and partial specifications
Citation
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: |
|
| 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 |
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: | https://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 |
