A tutorial on program development and optimization using the Ciao preprocessor

Bueno Carrillo, Francisco; López García, Pedro; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2006). A tutorial on program development and optimization using the Ciao preprocessor. Monografía (Manual). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: A tutorial on program development and optimization using the Ciao preprocessor
Autor/es:
  • Bueno Carrillo, Francisco
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Manual)
Fecha: 12 Enero 2006
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

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

Más información

ID de Registro: 14742
Identificador DC: http://oa.upm.es/14742/
Identificador OAI: oai:oa.upm.es:14742
URL Oficial: http://clip.dia.fi.upm.es/papers/ciaopp-tutorial.pdf
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 04 Abr 2013 07:32
Ultima Modificación: 21 Abr 2016 14:32
  • 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