Exploiting reachability and cardinality in higher-order flow analysis.

Matthew Might Olin Shivers

Published in: J. Funct. Program. (2008)

Keyphrases

flow analysis
higher order
information flow
high order
natural images
state space
forensic analysis
pairwise
markov random field
lambda calculus
low order
conditional random fields
bayesian networks
decision making
cardinality constraints
artificial intelligence
data sets