Login / Signup

Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.

Isabelle PolletBaudouin Le Charlier
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • abstract interpretation
  • model checking
  • reasoning engine
  • case study
  • query language
  • object oriented
  • programming language
  • open source
  • source code
  • static analysis
  • termination analysis