Login / Signup

A Practical and Flexible Flow Analysis for Higher-Order Languages.

J. Michael AshleyR. Kent Dybvig
Published in: ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
  • flow analysis
  • higher order
  • information flow
  • forensic analysis
  • high order
  • real world
  • expressive power
  • practical application
  • language independent
  • low order
  • markov random field
  • lambda calculus
  • databases
  • semantic web