| Document Date: 2010-10-22 08:04:39
Open Document File Size: 303,38 KBShare Result on Facebook
City Portland / / / Facility Lindley Hall / Oregon Graduate Institute / Higher-Order Applicative Programs J. Michael Ashley Indiana University / / IndustryTerm call-site / abstract applications / concrete algorithm / define-record call-site / call site / optimized general-purpose algorithm / fixpoint algorithm / / Organization Oregon Graduate Institute / National Science Foundation / Department of Computer Science / Indiana University / Computer Science Department / / Person Michael Ashley / Harrison III / Charles Consel Oregon / / Position offline partial evaluator / Processors General / abstract interpreter / / Technology optimized algorithm / The algorithm / Dom / AV / concrete algorithm / 2.3 Evaluation The algorithm / /
SocialTag |
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs J. Michael Ashley Indiana University and Charles Consel