Login / Signup

Type-base flow analysis: from polymorphic subtyping to CFL-reachability.

Jakob RehofManuel Fähndrich
Published in: POPL (2001)
Keyphrases
  • flow analysis
  • type checking
  • information flow
  • forensic analysis
  • website
  • case study
  • natural language