An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

DOI10.1007/978-3-540-74970-7_19zbMath1145.68510OpenAlexW1544693717MaRDI QIDQ3523062

Arnaud Gotlieb, Tristan Denmat, Mireille Ducassé

Publication date: 2 September 2008

Published in: Principles and Practice of Constraint Programming – CP 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74970-7_19

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A global constraint for over-approximation of real-time streams ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation

Uses Software

• Octagon

This page was built for publication: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming