[Art competition] Abstract Semantics

[irfanariq]

Short Description

For me, [designing abstract semantics] means [a person creating an avatar of himself/herself on social media]

Long Description (up to 3 sentences)

someone may hide his/her bad side in the avatar he/she made but, the avatar should still represent the person in real life so that his/her friend on social media can recognize him/her in real life and do not disappointed when meeting him/her in real life. it is similar to designing abstract semantics from concrete semantics. we may hide some details of concrete semantics in abstract semantics but the abstract semantics should still represent the concrete semantics so that the program analysis has precise results and does not produce false alarms.

[KihongHeo]

That is interesting.

[KihongHeo]

What do you mean by

the abstract semantics should still represent the concrete semantics so that the program analysis has precise results and does not produce false alarms.

[irfanariq]

I mean better abstract semantics should represent concrete semantics more. For example, if we compare the sign domain and the interval domain. The Interval domain is better since it has more details of integer (in the concrete domain) compared to the sign domain. Thus, the program analysis result that uses the interval domain produces more precise results than the program analysis that uses the sign domain.