Program analysis, debugging and optimization using the ciao system preprocessor

Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; Puebla Sánchez, Alvaro Germán y López García, Pedro (1999). Program analysis, debugging and optimization using the ciao system preprocessor. En: "The 1999 international conference on Logic programming", November 29 - December 4, 1999, Las Cruces, New Mexico, USA. ISBN 0262541041.

Descripción

Título: Program analysis, debugging and optimization using the ciao system preprocessor
Autor/es:
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • Puebla Sánchez, Alvaro Germán
  • López García, Pedro
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: The 1999 international conference on Logic programming
Fechas del Evento: November 29 - December 4, 1999
Lugar del Evento: Las Cruces, New Mexico, USA
Título del Libro: Logic Programming:Proceedings of the 1999 International Conference on Logic Programming
Fecha: Noviembre 1999
ISBN: 0262541041
Materias:
Palabras Clave Informales: Global Analysis, Debugging, Verification, Parallelization, Optimization, Partial Evaluation, Múltiple Specialization, Abstract Interpretation, Análisis global, Depuración, Verificación, Paralelización, Optimización, Evaluación parcial, Especialización múltiple, Interpretación de resúmenes.
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 (958kB) | Vista Previa

Resumen

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

Más información

ID de Registro: 14553
Identificador DC: http://oa.upm.es/14553/
Identificador OAI: oai:oa.upm.es:14553
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 25 Feb 2013 15:09
Ultima Modificación: 21 Abr 2016 14:16
  • 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