Language interpretation tag sponsored by:

Principles of Abstract Interpretation