Implementation of denotational semantics