[Art competition] Abstract Interpretation

[PSuHyeon]

Short Description

For me, [Abstract interpretation] means [In pastel style art, inside the leaves of a golden apple tree, a doctor robot is drawing the X-ray illustration of a golden apple ]".

Long Description (up to 3 sentences)

For me, program is a golden apple that is very helpful but potentially have bug inside. In this context, abstract interpretation is taking x-ray image of golden apple to see 'abstract image' of the whole apple without taking a bite (i.e. single program execution). While in some cases, x-ray image might clearly depicts shape of bugs, in other cases, it might be produce ambiguous result to differentiate between bugs and seeds inside, and we say 'don't know'.

[KihongHeo]

Do you mean apple in mythology? or in princess Snow White?

[PSuHyeon]

Apple in princess snow white might be good example! With this robot, we don't need kiss of Prince Charming anymore🤣