Pushdown Control-Flow Analysis of Higher-Order Programs

Christopher Earl Matthew Might David Van Horn

Published in: CoRR (2010)

Keyphrases

flow analysis
higher order
information flow
control structures
control method
control program
pairwise
natural images
control system
similarity measure
high order
lambda calculus
control structure
optimal control
database
markov random field
reinforcement learning
decision making