Login / Signup

LLVM-based static analysis tool using type and effect systems.

Mikhail A. BelyaevV. A. Tsesko
Published in: Autom. Control. Comput. Sci. (2012)
Keyphrases
  • analysis tool
  • complex systems
  • management system
  • expert systems
  • distributed systems
  • search algorithm
  • knowledge based systems
  • computing systems