CS Seminar: Fred Mesnard, May 22, 2008

Speaker

Pr. Fred Mesnard,
Département de mathématiques et informatique, Université de la Réunion, France.

Date and Time

Thursday, May 22, 2008 at 14:30

Place

Aula D,
Dipartimento di Matematica, Università di Parma, I-43100 Parma

Title

Typing Linear Constraints for Moding CLP(R) Programs

Abstract

We present a type system for linear constraints over reals. The type system is designed to reason about the properties of definiteness, lower and upper bounds of variables of a linear constraint. Two proof procedures are presented for checking validity of type assertions. The first one considers lower and upper bound types, and it relies on solving homogeneous linear programming problems. The second procedure, which deals with definiteness as well, relies on computing the Minkowski's form of a parameterized polyhedron. The two procedures are sound and complete.

Contact Person

Roberto Bagnara

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