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