CS Seminar: Germán Puebla Sánchez, February 28, 2002

Speaker

Prof. Germán Puebla Sánchez,
Department of Programming Languages and Systems, School of Computer Science
and
CLIP Lab, Department of Artificial Intelligence,
Technical University of Madrid.

Date and Time

Thursday, February 28, 2002 at 15:00

Place

Aula 1,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

CiaoPP: A Tool for Debugging and Optimization Based on Global Analysis

Abstract

We present a tutorial overview of Ciaopp, the Ciao Prolog system preprocessor. Ciaopp uses modular, incremental abstract interpretation to infer complex properties of program predicates and literals. The properties are expressed using an assertion language. The analyses implemented include sharing/freeness, types, program complexity, and non-failure. The properties inferred can be used for a variety of purposes, including program optimization (e.g., specialization, dead code removal), parallelization, debugging, and validation. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. The technique used is based on a direct approach: properties inferred by analysis are compared against specifications written using assertions.

Contact Person

Roberto Bagnara

[Page last updated on January 21, 2013, 08:18:53.]