Flow analysis of lazy higher-order functional programs.

Neil D. Jones Nils Andersen

Published in: Theor. Comput. Sci. (2007)

Keyphrases

flow analysis
functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
information flow
stochastic grammar
functional language
pairwise
forensic analysis
information systems
data integration
inference rules