Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP

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.

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

Texto completo

[thumbnail of INVE_MEM_2010_84352.pdf]
Vista Previa
PDF (Portable Document Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

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