@article {19594,
	title = {Semantic Solutions to Program Analysis Problems},
	journal = {arXiv:1105.0106 [cs]},
	year = {2011},
	month = {2011/04/30/},
	abstract = {Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally. For over thirty years, higher-order program analysis has been sold as a hard problem. Its solutions have required ingenuity and complex models of approximation. We claim that this difficulty is due to premature focus on abstraction and propose a new approach that emphasizes semantics. Its simplicity enables new analyses that are beyond the current state of the art.},
	keywords = {Computer Science - Programming Languages},
	url = {http://arxiv.org/abs/1105.0106},
	author = {Tobin-Hochstadt, Sam and David Van Horn}
}
