Skip to Main content Skip to Navigation
Conference papers

Typing Linear Constraints for Moding CLP() Programs

Abstract : We present a type system for linear constraints over reals and its use in mode analysis of CLP programs. The type system is designed to reason about the properties of deØniteness, lower and upper bounds of variables of a linear constraint. Two proof procedures are resented for checking validity of type assertions. The Ørst one considers lower and upper bound types, and it relies on solving homogeneous linear programming problems. The second procedure, which deals with deØniteness as well, relies on computing the Minkowski's form of a parameterized poly-hedron. The two procedures are sound and complete. We extend the approach to deal with strict inequalities and disequalities. Type assertions are at the basis of moding constraint logic programs. We extend the notion of well-moding from pure logic programming to CLP(R).
Document type :
Conference papers
Complete list of metadata
Contributor : Nicolas Alarcon Connect in order to contact the contributor
Submitted on : Monday, August 31, 2015 - 2:09:13 PM
Last modification on : Friday, January 21, 2022 - 3:27:04 AM


  • HAL Id : hal-01188719, version 1



Salvatore Ruggieri, Frédéric Mesnard. Typing Linear Constraints for Moding CLP() Programs. Static Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. pp.128--143. ⟨hal-01188719⟩



Record views