Steensgaard's algorithm
subject: Category:Static program analysis