Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
Citation
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X, Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Puebla Sánchez, Alvaro Germán, Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135, López García, Pedro, Morales, J., Mera, E., Navas, J., Haemmerlé, R., Méndez-Lojo, Mario, Casas, Amadeo, Correas Fernandez, Jesús, Albert Albiol, Elvira and Arenas Sánchez, Purificación
(2010).
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP.
In: "Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop", 17/09/2010 - 17/09/2010, Perpignan, France.
Description
| Title: | Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop |
| Event Dates: | 17/09/2010 - 17/09/2010 |
| Event Location: | Perpignan, France |
| Title of Book: | Proceedings of the Tools for Automatic Program AnalysiS (TAPAS 2010) |
| Date: | 2010 |
| Subjects: | |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
Facilitate the development of safe, efficient programs.
Approach:
•Next-generation, higher-level, multiparadigm prog. languages.
•Improved program development environments.
•A framework (CiaoPP) which integrates:
•Debugging.
•Verification and certification.
•Testing.
•Optimization (optimized compilation, parallelization, ...)
More information
| Item ID: | 9072 |
|---|---|
| DC Identifier: | https://oa.upm.es/9072/ |
| OAI Identifier: | oai:oa.upm.es:9072 |
| Official URL: | http://www.di.ens.fr/tapas2010/ |
| Deposited by: | Memoria Investigacion |
| Deposited on: | 11 Oct 2011 09:31 |
| Last Modified: | 20 Apr 2016 17:38 |
