An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint ProgrammingReport as inadecuate




An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming - Download this document for free, or read online. Document in PDF available to download.

1 Lande - Logiciel : ANalyse et DEveloppement IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique 2 LIS - Logical Information Systems IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE

Abstract : We present the w constraint combinator that models while loops in Constraint Programming. Embedded in a finite domain constraint solver, it allows programmers to develop non-trivial arithmetical relations using loops, exactly as in an imperative language style. The deduction capabilities of this combinator comes from abstract interpretation over the polyhedra abstract domain. This combinator has already demonstrated its utility in constraint-based verification and we argue that it also facilitates the rapid prototyping of arithmetic constraints power, gcd, sum,









Author: Tristan Denmat - Arnaud Gotlieb - Mireille Ducassé -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents