Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming