[Question][Hw5] Definition of concrete domains

[p51lee]

Hello, I have a question about the definition of concrete domains in our homework.

These concrete domains are context-insensitive and I think it forces to use strong update instead of weak update in some cases.

For example, abstract filter function

is always a strong update (simple overwriting) because the concrete domains are context-insensitive. Is it okay to use this definition in our homework implementation?

[KihongHeo]

Hi,
First of all, we don't consider the context sensitivity of concrete semantics. Concrete semantics is trivially context-sensitive because every function call is distinguished. Context-sensitivity is a part of abstract semantics. In the above definition, my point is to omit complex definitions such as instances, environments, and continuations because they all will be abstracted in a context insensitive way.

In the filter function, you should think about the soundness by yourself. The filter function describes the behavior of how the filter works, but does not tell you when this is applied. This is what you have to think.

[p51lee]

Thank you for your explanation 😊