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).
Type de document :
Communication dans un congrès
Alpuente, María and Vidal, Germán. Static Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. Springer, 5079, pp.128--143, 2008, Lecture Notes in Computer Science
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01188719
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 31 août 2015 - 14:09:13
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Identifiants

  • HAL Id : hal-01188719, version 1

Collections

Citation

Salvatore Ruggieri, Frédéric Mesnard. Typing Linear Constraints for Moding CLP() Programs. Alpuente, María and Vidal, Germán. Static Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. Springer, 5079, pp.128--143, 2008, Lecture Notes in Computer Science. 〈hal-01188719〉

Partager

Métriques

Consultations de la notice

24