Tobin-Hochstadt S, Van Horn D.  2011.  Semantic Solutions to Program Analysis Problems. arXiv:1105.0106 [cs].