Abstract Interpretation Of Domain-Specific Embedded Languages