Login / Signup
Control-flow analysis of functional programs.
Jan Midtgaard
Published in:
ACM Comput. Surv. (2012)
Keyphrases
</>
flow analysis
functional programs
term rewriting systems
information flow
forensic analysis
lazy evaluation
query processing
supply chain
stochastic grammar