Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do.
În sens larg, semanticile denotaționale se preocupă de găsirea unor obiecte matematice numite domenii care să reprezinte ceea ce fac programele.