Abstract Interpretation and Partial Evaluation in Functional and Logic Programming