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

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and López García, Pedro and Morales, J. and Mera, E. and Navas, J. and Haemmerlé, R. and Méndez-Lojo, Mario and Casas, Amadeo and Correas Fernandez, Jesús and 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:
  • 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
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

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: http://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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM