From the concrete to the collecting semantics
the concrete semantic evaluation function
the collecting semantic evaluation function
- semc: exp -> env -> Ã(eval)
- semc e r = {sem e r}
- all the concrete primitive operations have to be lifted to Ã(eval) in the design of the abstract operations
- there exist other (more concrete) collecting semantics
- semc’: exp -> Ã(env -> eval)