
Short Description
For me, [computing least upper bound] means [a knight in the ground watching up a dragon on top of a very high ancient tower]".
Long Description (up to 3 sentences)
Static analysis is computing the least upper bound of an ascending chain. This is like a brave journey to fight against a dragon on top of a high tower. We will always find a good solution in static analysis as the knight eventually defeats the dragon in an old tale!