Statically analyzing program correctness for a dynamic programming language Grant US-8918772-B1 United States of America 23 Dec 2014