Login / Signup

Type-Directed Flow Analysis for Typed Intermediate Languages.

Suresh JagannathanStephen WeeksAndrew K. Wright
Published in: SAS (1997)
Keyphrases
  • flow analysis
  • expressive power
  • information flow
  • forensic analysis
  • type checking
  • higher order
  • language independent
  • relational databases
  • first order logic
  • grammatical inference