From the collecting to the abstract semantics
concrete domain: (Ã(ceval), _ )
concrete (non-collecting) environment:
abstract domain: (eval, _)
abstract environment: env = ide -> eval
the collecting semantic evaluation function
- semc: exp -> env -> Ã(ceval)
the abstract semantic evaluation function