Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
Cita
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é, Remy, 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.
En: "Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop", 17/09/2010 - 17/09/2010, Perpignan, France.
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é, Remy, 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.
En: "Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop", 17/09/2010 - 17/09/2010, Perpignan, France.
Descripción
| Título: | Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop |
| Fechas del Evento: | 17/09/2010 - 17/09/2010 |
| Lugar del Evento: | Perpignan, France |
| Título del Libro: | Proceedings of the Tools for Automatic Program AnalysiS (TAPAS 2010) |
| Fecha: | 2010 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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, ...)
Más información
| ID de Registro: | 9072 |
|---|---|
| Identificador DC: | https://oa.upm.es/9072/ |
| Identificador OAI: | oai:oa.upm.es:9072 |
| URL Oficial: | http://www.di.ens.fr/tapas2010/ |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 11 Oct 2011 09:31 |
| Ultima Modificación: | 02 Jul 2025 07:20 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
