Login / Signup

Class Analysis of Object-Oriented Programs through Abstract Interpretation.

Thomas P. JensenFausto Spoto
Published in: FoSSaCS (2001)
Keyphrases
  • abstract interpretation
  • static analysis
  • information systems
  • dynamic analysis
  • databases