name = 'Denotational semantics'
description = ''