[Art competition] Program analysis

[p51lee]

Short Description

For me, [program analysis] means [Me and my opponent playing poker, Paul Cézanne]".

Long Description (up to 3 sentences)

Program analysis (static analysis) computes undecidable semantic properties by approximating them through abstraction.
In poker, you can never directly know your opponent's hand. It is very similar to static analysis in that it makes the best choice by abstracting the opponent's hand through the information of my hand and the rules of the game.

[KihongHeo]

Good insight.