@Article{ EarlSergeyJohnsonMightHorn,
Author = "Earl, Christopher and Sergey, Ilya and Johnson, J. Ian and Might, Matthew and Horn, David Van",
date-added = "2013-07-22 08:42:10 +0000",
date-modified = "2013-07-22 08:55:09 +0000",
Journal = "Journal of Functional Programming",
Keywords = "control-flow analysis and pushdown systems and pushdown automata",
Title = "Introspective pushdown analysis",
Year = "2013",
File = "Introspective pushdown analysis - Earl, Sergey, Johnson, Might, Horn (0) (0) - a - a - r.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A