@Article{         EarlMightHorn,
  Author        = "Earl, Christopher and Might, Matthew and Horn, David Van",
  Abstract      = "Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same boost in precision achieved over first-order programs.",
  date-added    = "2013-06-13 15:22:03 +0000",
  date-modified = "2013-06-13 15:22:20 +0000",
  EPrint        = "1007.4268",
  Keywords      = "control-flow analysis",
  Month         = "07",
  Title         = "Pushdown Control-Flow Analysis of Higher-Order Programs",
  URL           = "http://arxiv.org/abs/1007.4268",
  Year          = "2010",
  bdsk-url-1    = "http://arxiv.org/abs/1007.4268",
  File          = "Pushdown Control-Flow Analysis of Higher-Order Programs - Earl, Might, Horn (0) (0) - a - a - i.pdf"
}

@Article{ EarlMightHorn, Author = "Earl, Christopher and Might, Matthew and Horn, David Van", Abstract = "Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same boost in precision achieved over first-order programs.", date-added = "2013-06-13 15:22:03 +0000", date-modified = "2013-06-13 15:22:20 +0000", EPrint = "1007.4268", Keywords = "control-flow analysis", Month = "07", Title = "Pushdown Control-Flow Analysis of Higher-Order Programs", URL = "http://arxiv.org/abs/1007.4268", Year = "2010", bdsk-url-1 = "http://arxiv.org/abs/1007.4268", File = "Pushdown Control-Flow Analysis of Higher-Order Programs - Earl, Might, Horn (0) (0) - a - a - i.pdf" }