> http://en.wikipedia.org/wiki/Definite_assignment_analysis

By the way, I forgot to add that Definite assignment analysis is a (nice) 
special case of "typestate", that I was talking about recently.

Bye,
bearophile

Reply via email to