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

Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel; 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 y 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:
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • Puebla Sánchez, Alvaro Germán
  • Carro Liñares, Manuel
  • 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
  • Arenas Sánchez, Purificación
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:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable 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: http://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: 20 Abr 2016 17:38
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM