An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint ProgrammingReportar como inadecuado




An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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,









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

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



DESCARGAR PDF




Documentos relacionados