Combining Constraint Languages via Abstract Interpretation.

Pierre Talbot, David Cachera, ric Monfroy, Charlotte Truchet

Browse the full ICTAI paper archive.