Denotational semantics

Find domains that represent what programs do, map domains to mathematical objects

Does not depend on Syntax.