Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (823kB) | Preview |
Abstract verification and debugging of constraint logic programs
Citation
Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and López García, Pedro (2003). Abstract verification and debugging of constraint logic programs. In: "Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming", June 19-21, 2002, Cork, Ireland. ISBN 9783540009863.
Description
| Title: | Abstract verification and debugging of constraint logic programs |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming |
| Event Dates: | June 19-21, 2002 |
| Event Location: | Cork, Ireland |
| Title of Book: | Recent Advances in Constraints |
| Date: | January 2003 |
| ISBN: | 9783540009863 |
| Volume: | 2627 |
| Subjects: | |
| Freetext Keywords: | Global analysis, Debugging, Verification, Constraint logic programming, Optimization, Parallelization, Abstract interpretation, Análisis global, Depuración, Verificación, Programación lógica restringida, Optimización, Paralelizació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 [13] 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 verification and debugging [3],[10],[7].
More information
| Item ID: | 14545 |
|---|---|
| DC Identifier: | https://oa.upm.es/14545/ |
| OAI Identifier: | oai:oa.upm.es:14545 |
| Official URL: | http://link.springer.com/chapter/10.1007/3-540-36607-5_1 |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 23 Feb 2013 07:34 |
| Last Modified: | 21 Apr 2016 14:16 |
