| Document Date: 2012-08-10 19:22:59
Open Document File Size: 431,48 KBShare Result on Facebook
Company CFA2 / / / Facility store We / Matthew Might University of Utah / / IndustryTerm closure graph work-list algorithm / graph search / fixed-point algorithm / straightforward pushdown-reachability algorithm / pushdown systems / reasonable algorithm / recent algorithm / call site / rooted pushdown systems / state graph construction algorithm / reachability algorithm / / Organization University of Utah / National Science Foundation / Northeastern University / Computing Research Association / / Person Earl David Van Horn / / Position evaluator / Reachable configurations The evaluator / atomic expression evaluator / / Technology previous algorithm / reachability algorithms / closure graph work-list algorithm / reasonable algorithm / dom / fixed-point algorithm / PDA / straightforward pushdown-reachability algorithm / Dyck state graph construction algorithm / reachability algorithm / /
SocialTag |
Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might