Login / Signup

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.

Chiara BodeiPierpaolo DeganoHan GaoLinda Brodo
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • flow analysis
  • information flow
  • forensic analysis
  • control theory
  • databases
  • control system
  • real time
  • keywords
  • e government
  • tag recommendation
  • collaborative tagging systems