| Document Date: 2012-08-10 19:22:17
Open Document File Size: 464,62 KBShare Result on Facebook
City Angeles / Los Angeles / San Antonio / New York / Antonio / / Company Cambridge University Press / ACM Press / / Country United States / / Currency USD / / Facility store Scheme / Northeastern University / Brandeis University / Stack Reachability Matthew Might Tarun Prabhu University of Utah / / IndustryTerm multicore hardware / list processing functions / call site / parallel systems / procedure applications / software systems / / Organization Brandeis University / Cambridge University / University of Utah / Northeastern University / California Polytechnic State University / / / Position concrete argument evaluator / evaluator / abstract argument evaluator / General / unified lattice model for static analysis / programmer / / ProgrammingLanguage L / C / K / / ProvinceOrState Texas / Utah / New York / California / / Technology functional programming / LAN / dom / / URL http /
SocialTag |
Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu