Combining Constraint Languages via Abstract Interpretation | IEEE Conference Publication | IEEE Xplore