A framework for static program analysis of imperative languages. - Vajirapan Panumong (2009)