2 ms·Denotational semantics : Compilation :: Operational semantics : Interpretation4 points by blasdel 17y ago