cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links